Richard N. Taylor, Harald Gall, Nenad Medvidović
Proceedings of the 33rd International Conference on Software Engineering
ICSE, 2011.
@proceedings{ICSE-2011, address = "Honolulu , Hawaii, USA", editor = "Richard N. Taylor and Harald Gall and Nenad Medvidović", isbn = "978-1-4503-0445-0", publisher = "{ACM}", title = "{Proceedings of the 33rd International Conference on Software Engineering}", year = 2011, }
Contents (191 items)
- ICSE-2011-ArcuriB #algorithm #random #re-engineering #statistics #testing #using
- A practical guide for using statistical tests to assess randomized algorithms in software engineering (AA, LCB), pp. 1–10.
- ICSE-2011-TanZP #concurrent #debugging #detection #mining #named
- aComment: mining annotations from comments and code to detect interrupt related concurrency bugs (LT, YZ, YP), pp. 11–20.
- ICSE-2011-ClauseO #automation #named
- Camouflage: automated anonymization of field data (JAC, AO), pp. 21–30.
- ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight
- A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.
- ICSE-2011-FujiiDF #assessment #development #incremental #process #reliability #towards
- Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.
- ICSE-2011-WinterSSM #fault #modelling #robust
- The impact of fault models on software robustness evaluations (SW, CS, NS, BM), pp. 51–60.
- ICSE-2011-KjolstadDAS
- Transformation for class immutability (FK, DD, GA, MS), pp. 61–70.
- ICSE-2011-SchaferSDT #flexibility #java #refactoring #source code
- Refactoring Java programs for flexible locking (MS, MS, JD, FT), pp. 71–80.
- ICSE-2011-StoleeE #refactoring
- Refactoring pipe-like mashups for end-user programmers (KTS, SGE), pp. 81–90.
- ICSE-2011-KumarKRL #graph #mining #sequence
- Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.
- ICSE-2011-SridharaPV #automation #detection
- Automatically detecting and describing high level actions within methods (GS, LLP, KVS), pp. 101–110.
- ICSE-2011-McMillanGPXF #named
- Portfolio: finding relevant functions and their usage (CM, MG, DP, QX, CF), pp. 111–120.
- ICSE-2011-ChandraTBB #debugging
- Angelic debugging (SC, ET, SB, RB), pp. 121–130.
- ICSE-2011-RabkinK #configuration management
- Static extraction of program configuration options (AR, RHK), pp. 131–140.
- ICSE-2011-McIntoshANKH #empirical #maintenance
- An empirical study of build maintenance effort (SM, BA, THDN, YK, AEH), pp. 141–150.
- ICSE-2011-KimCK #empirical #evolution #refactoring
- An empirical investigation into the role of API-level refactorings during software evolution (MK, DC, SK), pp. 151–160.
- ICSE-2011-CataldoH #analysis #development #empirical #feature model #integration
- Factors leading to integration failures in global feature-oriented development: an empirical analysis (MC, JDH), pp. 161–170.
- ICSE-2011-BhattacharyaN #c #c++ #case study #development #maintenance #programming language
- Assessing programming language impact on development and maintenance: a study on c and c++ (PB, IN), pp. 171–180.
- ICSE-2011-DumitruGHCMCM #mining #on-demand #recommendation
- On-demand feature recommendations derived from mining public product descriptions (HD, MG, NH, JCH, BM, CCH, MM), pp. 181–190.
- ICSE-2011-WeiFKM #contract
- Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
- ICSE-2011-OhHVP #concurrent #debugging #execution #framework #multi #named #thread
- LIME: a framework for debugging load imbalance in multi-threaded execution (JO, CJH, GV, MP), pp. 201–210.
- ICSE-2011-DIppolitoBPU #behaviour #modelling #synthesis
- Synthesis of live behaviour models for fallible domains (ND, VAB, NP, SU), pp. 211–220.
- ICSE-2011-WangSG #concurrent #testing
- Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.
- ICSE-2011-SpotoE
- Inference of field initialization (FS, MDE), pp. 231–240.
- ICSE-2011-BoddenSSOM #static analysis
- Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.
- ICSE-2011-YuAB #synthesis
- Patching vulnerabilities with sanitization synthesis (FY, MA, TB), pp. 251–260.
- ICSE-2011-RamasubbuCBH #analysis #configuration management #multi #quality
- Configuring global software teams: a multi-company analysis of project productivity, quality, and profits (NR, MC, RKB, JDH), pp. 261–270.
- ICSE-2011-ZhouM #developer #future of
- Does the initial environment impact the future of developers (MZ, AM), pp. 271–280.
- ICSE-2011-MeneelyW #developer #metric #network #question #trust
- Socio-technical developer networks: should we trust our measurements? (AM, LW), pp. 281–290.
- ICSE-2011-AndroutsopoulosBCGHLL #modelling #strict
- Model projection: simplifying models in response to restricting the environment (KA, DB, DC, NG, MH, KL, ZL), pp. 291–300.
- ICSE-2011-KimJKY #clone detection #detection #memory management #named
- MeCC: memory comparison-based clone detector (HK, YJ, SK, KY), pp. 301–310.
- ICSE-2011-GodeK #clone tracking #risk management
- Frequency and risks of changes to clones (NG, RK), pp. 311–320.
- ICSE-2011-ClassenHSL #model checking #product line
- Symbolic model checking of software product lines (AC, PH, PYS, AL), pp. 321–330.
- ICSE-2011-CordeiroF #bound #concurrent #model checking #multi #smt #thread #using #verification
- Verifying multi-threaded software using smt-based context-bounded model checking (LC, BF), pp. 331–340.
- ICSE-2011-FilieriGT #model checking #performance #probability #runtime
- Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
- ICSE-2011-KawrykowR #version control
- Non-essential changes in version histories (DK, MPR), pp. 351–360.
- ICSE-2011-NguyenNNN #evolution #recommendation
- Aspect recommendation for evolving software (TTN, HVN, HAN, TNN), pp. 361–370.
- ICSE-2011-HolmesN #behaviour #identification
- Identifying program, test, and environmental changes that affect behaviour (RH, DN), pp. 371–380.
- ICSE-2011-CasoBGU #abstraction #behaviour #validation
- Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
- ICSE-2011-StaatsWH #revisited #source code #testing
- Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.
- ICSE-2011-ShengVEHCZ #concurrent #detection #lightweight #named
- RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
- ICSE-2011-WongCKD #composition #detection
- Detecting software modularity violations (SW, YC, MK, MD), pp. 411–420.
- ICSE-2011-ApelB #case study #product line
- Feature cohesion in software product lines: an exploratory study (SA, DB), pp. 421–430.
- ICSE-2011-CassouBCL #architecture #development #verification
- Leveraging software architectures to guide and verify the development of sense/compute/control applications (DC, EB, CC, JLL), pp. 431–440.
- ICSE-2011-SteimannS #refactoring
- Refactoring to role objects (FS, FUS), pp. 441–450.
- ICSE-2011-HermansPD #data flow #diagrams #generative #spreadsheet
- Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
- ICSE-2011-SheLBWC #feature model #modelling #reverse engineering
- Reverse engineering feature models (SS, RL, TB, AW, KC), pp. 461–470.
- ICSE-2011-HutchinsonWRK #assessment #empirical #industrial
- Empirical assessment of MDE in industry (JH, JW, MR, SK), pp. 471–480.
- ICSE-2011-KimZWG #fault #predict
- Dealing with noise in defect prediction (SK, HZ, RW, LG), pp. 481–490.
- ICSE-2011-RahmanD #experience #fault #fine-grained
- Ownership, experience and defects: a fine-grained study of authorship (FR, PTD), pp. 491–500.
- ICSE-2011-BianculliGP #composition #interface
- Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.
- ICSE-2011-MilicevicRYJ #declarative #execution #imperative
- Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.
- ICSE-2011-BayneCE #feedback
- Always-available static and dynamic feedback (MB, RC, MDE), pp. 521–530.
- ICSE-2011-KamalrudinHG #case study #interactive #quality #requirements #using
- Improving requirements quality using essential use case interaction patterns (MK, JGH, JCG), pp. 531–540.
- ICSE-2011-RigbyS #comprehension #open source #overview
- Understanding broadcast based peer review on open source software projects (PCR, MADS), pp. 541–550.
- ICSE-2011-WettelLR #empirical
- Software systems as cities: a controlled experiment (RW, ML, RR), pp. 551–560.
- ICSE-2011-MesbahP #automation #testing
- Automated cross-browser compatibility testing (AM, MRP), pp. 561–570.
- ICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web
- A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
- ICSE-2011-SumnerBZP #analysis #nondeterminism #performance
- Coalescing executions for fast uncertainty analysis (WNS, TB, XZ, SP), pp. 581–590.
- ICSE-2011-LeeCR #mining #parametricity #specification
- Mining parametric specifications (CL, FC, GR), pp. 591–600.
- ICSE-2011-JeanneretGB
- Estimating footprints of model operations (CJ, MG, BB), pp. 601–610.
- ICSE-2011-XiaoXTH #generative #identification #precise #problem #testing
- Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
- ICSE-2011-Nakakoji #experience #sketching
- Interactivity, continuity, sketching, and experience: (KN), p. 621.
- ICSE-2011-Dresselhaus #design #roadmap
- Exciting new trends in design thinking (BD), p. 622.
- ICSE-2011-LaymanBZF #case study #process #safety
- A case study of measuring process risk for early insights into software safety (LL, VRB, MVZ, KLF), pp. 623–632.
- ICSE-2011-HutchinsonRW #industrial #modelling
- Model-driven engineering practices in industry (JH, MR, JW), pp. 633–642.
- ICSE-2011-SchmerlGDBC #analysis #case study #design #framework #named #platform
- SORASCS: a case study in soa-based platform design for socio-cultural analysis (BRS, DG, VD, MWB, KMC), pp. 643–652.
- ICSE-2011-OBrienGG #framework #metric
- A method for selecting SOA pilot projects including a pilot metrics framework (LO, JG, JG), pp. 653–662.
- ICSE-2011-KazmanBIM #architecture #evaluation #experience #grid #smarttech
- Architecture evaluation without an architecture: experience with the smart grid (RK, LB, JI, GAM), pp. 663–670.
- ICSE-2011-BosS #domain-specific language #forensics
- Bringing domain-specific languages to digital forensics (JvdB, TvdS), pp. 671–680.
- ICSE-2011-DietlDEMS #using
- Building and using pluggable type-checkers (WD, SD, MDE, KM, TWS), pp. 681–690.
- ICSE-2011-BellamyJK #assessment #development #usability
- Deploying CogTool: integrating quantitative usability assessment into real-world software development (RKEB, BEJ, SK), pp. 691–700.
- ICSE-2011-PortNHH #case study #development #experience #mining #scalability
- Experiences with text mining large collections of unstructured systems development artifacts at jpl (DP, APN, JH, LH), pp. 701–710.
- ICSE-2011-CurtisSS #evaluation #matter #quality #question
- An evaluation of the internal quality of business applications: does size matter? (BC, JS, JS), pp. 711–715.
- ICSE-2011-LiKZJNMK #difference
- Characterizing the differences between pre- and post- release versions of software (PLL, RK, ZZ, SeJ, NN, BM, AJK), pp. 716–725.
- ICSE-2011-StreitP #how #quality #why
- Why software quality improvement fails: (and how to succeed nevertheless) (JS, MP), pp. 726–735.
- ICSE-2011-AdlerBRSSUZ #analysis #scalability #test coverage
- Code coverage analysis in practice for large systems (YA, NB, OR, OS, NS, SU, AZ), pp. 736–745.
- ICSE-2011-AcharyaR #impact analysis #industrial #slicing
- Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.
- ICSE-2011-JhiWJZLW #detection
- Value-based program characterization and its application to software plagiarism detection (YcJ, XW, XJ, SZ, PL, DW), pp. 756–765.
- ICSE-2011-BenestadH #comparison #incremental #modelling #release planning
- A comparison of model-based and judgment-based release planning in incremental software projects (HCB, JEH), pp. 766–775.
- ICSE-2011-KoziolekSBWBKTMK #case study #evolution #industrial #predict #quality
- An industrial case study on quality impact prediction for evolving service-oriented software (HK, BS, CGB, RW, SB, KK, MT, RM, AK), pp. 776–785.
- ICSE-2011-AraujoBL #concurrent #contract #java #modelling #runtime
- Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.
- ICSE-2011-Tiako #development #distributed #framework
- Perspectives of delegation in team-based distributed software development over the GENI infrastructure (PFT), pp. 796–799.
- ICSE-2011-KwanD #communication
- The hidden experts in software-engineering communication (IK, DD), pp. 800–803.
- ICSE-2011-TreudeBS #how #question #web
- How do programmers ask and answer questions on the web? (CT, OB, MADS), pp. 804–807.
- ICSE-2011-BellamyDMMORS #sketching #tool support
- Sketching tools for ideation (RKEB, MD, JM, PM, HO, JTR, CS), pp. 808–811.
- ICSE-2011-HardyBKW #development
- Digitally annexing desk space for software development (JH, CB, GK, JW), pp. 812–815.
- ICSE-2011-NiuMB #information management #navigation
- Information foraging as a foundation for code navigation (NN, AM, GB), pp. 816–819.
- ICSE-2011-OlivetoGBPL #identification #smell
- Identifying method friendships to remove the feature envy bad smell (RO, MG, GB, DP, ADL), pp. 820–823.
- ICSE-2011-LopezH
- The code orb: supporting contextualized coding via at-a-glance views (NL, AvdH), pp. 824–827.
- ICSE-2011-AldrichGHMNSSSTW #programming language
- Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
- ICSE-2011-SillittiSV #comprehension #towards
- Toward a better understanding of tool usage (AS, GS, JV), pp. 832–835.
- ICSE-2011-SimidchievaO #process
- Characterizing process variation (BIS, LJO), pp. 836–839.
- ICSE-2011-ManganoOSCDK #information management
- Blending freeform and managed information in tables (NM, HO, IS, MC, MD, SK), pp. 840–843.
- ICSE-2011-AndersonS #data analysis #design #framework #implementation
- Design and implementation of a data analytics infrastructure in support of crisis informatics research (KMA, AS), pp. 844–847.
- ICSE-2011-LiNHK #requirements
- A domain specific requirements model for scientific computing (YL, NN, JH, MK), pp. 848–851.
- ICSE-2011-BottDL #collaboration #named #requirements
- CREWW: collaborative requirements engineering with wii-remotes (FB, SD, RL), pp. 852–855.
- ICSE-2011-BorgesGLN #adaptation #evolution #learning #requirements #specification
- Learning to adapt requirements specifications of evolving systems (RVB, ASdG, LCL, BN), pp. 856–859.
- ICSE-2011-CuddebackDHHK #process #requirements #towards
- Towards overcoming human analyst fallibility in the requirements tracing process (DC, AD, JHH, JH, WKK), pp. 860–863.
- ICSE-2011-NohrerRE #consistency #effectiveness #nondeterminism
- Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.
- ICSE-2011-RosuS #approach #logic #verification
- Matching logic: a new program verification approach (GR, AS), pp. 868–871.
- ICSE-2011-BarnaLG #modelling #performance #testing
- Model-based performance testing (CB, ML, HG), pp. 872–875.
- ICSE-2011-ChenZ #combinator #metric #testing #tuple
- Tuple density: a new metric for combinatorial test suites (BC, JZ), pp. 876–879.
- ICSE-2011-AtkinsonHJ #testing
- Search-enhanced testing (CA, OH, WJ), pp. 880–883.
- ICSE-2011-TamrawiNAN #automation #debugging #fuzzy
- Fuzzy set-based automatic bug triaging (AT, TTN, JMAK, TNN), pp. 884–887.
- ICSE-2011-SoffaWM #debugging #hardware #testing
- Exploiting hardware advances for software testing and debugging (MLS, KRW, JM), pp. 888–891.
- ICSE-2011-StaatsWH11a #testing
- Better testing through oracle selection (MS, MWW, MPEH), pp. 892–895.
- ICSE-2011-XiaoZZ #analysis #data type
- Tracking data structures for postmortem analysis (XX, JZ, CZ), pp. 896–899.
- ICSE-2011-PengXTYZ #feature model
- Iterative context-aware feature location (XP, ZX, XT, YY, WZ), pp. 900–903.
- ICSE-2011-RobbesL #case study #ecosystem
- A study of ripple effects in software ecosystems (RR, ML), pp. 904–907.
- ICSE-2011-MirakhorliC #architecture #assurance
- Tracing architectural concerns in high assurance systems (MM, JCH), pp. 908–911.
- ICSE-2011-ChenHG #approach #automation #traceability
- A combination approach for enhancing automated traceability (XC, JGH, JCG), pp. 912–915.
- ICSE-2011-TofanGA #architecture #grid #using
- Capturing tacit architectural knowledge using the repertory grid technique (DT, MG, PA), pp. 916–919.
- ICSE-2011-JarzabekT #evolution #flexibility #generative #reuse
- Flexible generators for software reuse and evolution (SJ, HDT), pp. 920–923.
- ICSE-2011-GolraD #framework #lazy evaluation #modelling #multi
- The lazy initialization multilayered modeling framework (FRG, FD), pp. 924–927.
- ICSE-2011-ChristensenH #architecture #implementation #towards
- Towards architectural information in implementation (HBC, KMH), pp. 928–931.
- ICSE-2011-NguyenNP #fault #predict #topic
- Topic-based defect prediction (TTN, TNN, TMP), pp. 932–935.
- ICSE-2011-Pankratius #automation #evaluation #parallel #programming #usability
- Automated usability evaluation of parallel programming constructs (VP), pp. 936–939.
- ICSE-2011-HullettNSH #data analysis #development #game studies
- Data analytics for game development (KH, NN, ES, JH), pp. 940–943.
- ICSE-2011-AthanasopoulosZVI #abstraction #mining
- Mining service abstractions (DA, AZ, PV, VI), pp. 944–947.
- ICSE-2011-PirzadehH #analysis #behaviour #framework
- A software behaviour analysis framework based on the human perception systems (HP, AHL), pp. 948–951.
- ICSE-2011-Malik #analysis #graph #using
- Dynamic shape analysis of program heap using graph spectra (MZM), pp. 952–955.
- ICSE-2011-LiuZ #program analysis
- Program analysis: from qualitative analysis to quantitative analysis (SL, JZ), pp. 956–959.
- ICSE-2011-MurtazaMGL #fault #using
- Diagnosing new faults using mutants and prior faults (SSM, NHM, MG, ZL), pp. 960–963.
- ICSE-2011-WuSG #case study #empirical
- Empirical results on the study of software vulnerabilities (YW, HPS, RG), pp. 964–967.
- ICSE-2011-HindleGH #aspect-oriented #development #multi
- Multifractal aspects of software development (AH, MWG, RCH), pp. 968–971.
- ICSE-2011-WilliamsW #contract #re-engineering #research
- The American law institute’s principles on software contracts and their ramifications for software engineering research (JBW, JHWJ), pp. 972–975.
- ICSE-2011-AmselIMT #re-engineering #towards
- Toward sustainable software engineering (NA, ZI, AM, BT), pp. 976–979.
- ICSE-2011-SunGW #approach #evolution #named
- MT-Scribe: an end-user approach to automate software model evolution (YS, JG, JW), pp. 980–982.
- ICSE-2011-GenevesL #consistency #detection #ide #xml
- Inconsistent path detection for XML IDEs (PG, NL), pp. 983–985.
- ICSE-2011-Jurjens #automation #evolution #modelling #security #uml
- Automated security hardening for evolving UML models (JJ), pp. 986–988.
- ICSE-2011-PukallGSKCG #adaptation #java #named #strict
- JavAdaptor: unrestricted dynamic software updates for Java (MP, AG, RS, CK, WC, SG), pp. 989–991.
- ICSE-2011-GeTXT #execution #named #symbolic computation #verification
- DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
- ICSE-2011-HolmesN11a #behaviour #identification
- Identifying opaque behavioural changes (RH, DN), pp. 995–997.
- ICSE-2011-MatthijssenZ #ajax #comprehension #detection #interactive #named
- FireDetective: understanding ajax client/server interactions (NM, AZ), pp. 998–1000.
- ICSE-2011-GuBS #debugging #named #reuse
- BQL: capturing and reusing debugging knowledge (ZG, ETB, ZS), pp. 1001–1003.
- ICSE-2011-XiaoXTH11a #identification #named #precise #problem
- Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.
- ICSE-2011-DeissenboeckHHLW #assessment #modelling #quality
- The quamoco tool chain for quality modeling and assessment (FD, LH, MH, KL, SW), pp. 1007–1009.
- ICSE-2011-DanielDGJJMNTM #named #testing
- ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.
- ICSE-2011-MarianiPRS #automation #black box #named #testing
- AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.
- ICSE-2011-FeinRSMGGBCLSMMSD #automation #deployment #tool support #using
- Using MATCON to generate CASE tools that guide deployment of pre-packaged applications (EF, NR, SS, PM, SG, RG, MB, SKC, JL, VSS, SM, DM, BS, PD), pp. 1016–1018.
- ICSE-2011-JorgensonHG #collaboration #named #student
- SEREBRO: facilitating student project team collaboration (NJ, MLH, RFG), pp. 1019–1021.
- ICSE-2011-LimDF #identification #network #requirements #social #using
- StakeSource2.0: using social networks of stakeholders to identify and prioritise requirements (SLL, DD, AF), pp. 1022–1024.
- ICSE-2011-BacchelliLD #email #named #tool support
- Miler: a toolset for exploring email data (AB, ML, MD), pp. 1025–1027.
- ICSE-2011-ManganoDLH #design #distributed #sketching
- A demonstration of a distributed software design sketching tool (NM, MD, NL, AvdH), pp. 1028–1030.
- ICSE-2011-StengelFAFKD #development #feature model #infinity #interface
- View infinity: a zoomable interface for feature-oriented software development (MS, MF, SA, JF, CK, RD), pp. 1031–1033.
- ICSE-2011-GethersSPOPL #named #question #topic
- CodeTopics: which topic am I coding now? (MG, TS, MDP, RO, DP, ADL), pp. 1034–1036.
- ICSE-2011-FokaefsTSC #identification #named #refactoring
- JDeodorant: identification and application of extract class refactorings (MF, NT, ES, AC), pp. 1037–1039.
- ICSE-2011-McVeighKM #architecture #evolution #named #tool support
- Evolve: tool support for architecture evolution (AM, JK, JM), pp. 1040–1042.
- ICSE-2011-McMillanGPXF11a #named
- Portfolio: a search engine for finding functions and their usages (CM, MG, DP, QX, CF), pp. 1043–1045.
- ICSE-2011-ZhangJHHZ #process #simulation
- Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
- ICSE-2011-BoehmV #challenge #estimation #research
- Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.
- ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
- Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
- ICSE-2011-MurphyZ
- ICSE 2011 technical briefings (GCM, AZ), pp. 1072–1073.
- ICSE-2011-Bacchelli #email #re-engineering
- Exploring, exposing, and exploiting emails to include human factors in software engineering (AB), pp. 1074–1077.
- ICSE-2011-Chen #game studies #named #testing
- GATE: game-based testing environment (NC), pp. 1078–1081.
- ICSE-2011-Dantas #composition #maintenance #reuse
- Reuse vs. maintainability: revealing the impact of composition code properties (FD), pp. 1082–1085.
- ICSE-2011-Kumar #concurrent #distributed #mining #specification
- Specification mining in concurrent and distributed systems (SK), pp. 1086–1089.
- ICSE-2011-Bertran #architecture #detection #evolution #smell
- Detecting architecturally-relevant code smells in evolving software systems (IMB), pp. 1090–1093.
- ICSE-2011-Maras #development #reuse #web
- Pragmatic reuse in web application development (JM), pp. 1094–1097.
- ICSE-2011-Reder #consistency #development #framework #modelling #nondeterminism
- Inconsistency management framework for model-based development (AR), pp. 1098–1101.
- ICSE-2011-Sadowski #maintenance #modelling #parallel
- Mental models and parallel program maintenance (CS), pp. 1102–1105.
- ICSE-2011-Shihab #assurance #quality
- Pragmatic prioritization of software quality assurance efforts (ES), pp. 1106–1109.
- ICSE-2011-Xu #testing
- Directed test suite augmentation (ZX), pp. 1110–1113.
- ICSE-2011-Xue #analysis #automation #legacy #product line #re-engineering #variability
- Reengineering legacy software products into software product line based on automatic variability analysis (YX), pp. 1114–1117.
- ICSE-2011-Zheng #architecture #implementation
- 1.x-Way architecture-implementation mapping (YZ), pp. 1118–1121.
- ICSE-2011-Bhattacharya #development #evolution #maintenance #using
- Using software evolution history to facilitate development and maintenance (PB), pp. 1122–1123.
- ICSE-2011-McMillan #source code
- Searching, selecting, and synthesizing source code (CM), pp. 1124–1125.
- ICSE-2011-Mirakhorli #approach #architecture #requirements
- Tracing architecturally significant requirements: a decision-centric approach (MM), pp. 1126–1127.
- ICSE-2011-Petricic #component #deployment #embedded #predict
- Predictable dynamic deployment of components in embedded systems (AP), pp. 1128–1129.
- ICSE-2011-Pinto #approach #composition #declarative #flexibility
- A declarative approach to enable flexible and dynamic service compositions (LSP), pp. 1130–1131.
- ICSE-2011-Salah #agile #design #development #framework #integration #process
- A framework for the integration of user centered design and agile software development processes (DS), pp. 1132–1133.
- ICSE-2011-Sethanandha #open source #process #tool support
- Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.
- ICSE-2011-Smith #functional #requirements #security #testing #using
- Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.
- ICSE-2011-Thomas #mining #modelling #repository #topic #using
- Mining software repositories using topic models (SWT), pp. 1138–1139.
- ICSE-2011-Araya #effectiveness #test coverage #visual notation
- Test blueprint: an effective visual support for test coverage (VPA), pp. 1140–1142.
- ICSE-2011-Bagheri #approach #architecture #formal method #platform #synthesis
- A formal approach to software synthesis for architectural platforms (HB), pp. 1143–1145.
- ICSE-2011-Choudhary #detection #web
- Detecting cross-browser issues in web applications (SRC), pp. 1146–1148.
- ICSE-2011-Davies #reuse #security
- Measuring subversions: security and legal risk in reused software artifacts (JD), pp. 1149–1151.
- ICSE-2011-Fant #design pattern
- Building domain specific software architectures from software architectural design patterns (JSF), pp. 1152–1154.
- ICSE-2011-Goeritzer #impact analysis #industrial #using
- Using impact analysis in industry (RG), pp. 1155–1157.
- ICSE-2011-Kidwell #classification #fault #research
- A decision support system for the classification of software coding faults: a research abstract (BK), pp. 1158–1160.
- ICSE-2011-Kumar11a #concurrent #distributed #mining #specification
- Specification mining in concurrent and distributed systems (SK), pp. 1161–1163.
- ICSE-2011-Lee #case study #haskell #refactoring #source code
- A case study on refactoring in Haskell programs (DYL), pp. 1164–1166.
- ICSE-2011-McIntosh #maintenance
- Build system maintenance (SM), pp. 1167–1169.
- ICSE-2011-McMillan11a
- Finding relevant functions in millions of lines of code (CM), pp. 1170–1172.
- ICSE-2011-Sultanov #documentation #proximity #requirements
- Requirements tracing: discovering related documents through artificial pheromones and term proximity (HS), pp. 1173–1175.
- ICSE-2011-Sun #approach #aspect-oriented #modelling
- An end-user demonstration approach to support aspect-oriented modeling (YS), pp. 1176–1178.
- ICSE-2011-Xiao #developer #generative #identification #problem #testing #towards
- Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
- ICSE-2011-Zhang #automation #generative #hybrid #java #named #testing
- Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
- ICSE-2011-Zhang11a #automation #scalability
- Scalable automatic linearizability checking (SJZ), pp. 1185–1187.
24 ×#named
19 ×#testing
15 ×#development
15 ×#modelling
13 ×#automation
13 ×#using
10 ×#analysis
10 ×#architecture
10 ×#case study
10 ×#detection
19 ×#testing
15 ×#development
15 ×#modelling
13 ×#automation
13 ×#using
10 ×#analysis
10 ×#architecture
10 ×#case study
10 ×#detection