Proceedings of the 33rd International Conference on Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Richard N. Taylor, Harald Gall, Nenad Medvidović
Proceedings of the 33rd International Conference on Software Engineering
ICSE, 2011.

SE
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.