Proceedings of the 34th 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

Martin Glinz, Gail C. Murphy, Mauro Pezzè
Proceedings of the 34th International Conference on Software Engineering
ICSE, 2012.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{ICSE-2012,
	address       = "Zurich, Switzerland",
	editor        = "Martin Glinz and Gail C. Murphy and Mauro Pezzè",
	isbn          = "978-1-4673-1067-3",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the 34th International Conference on Software Engineering}",
	year          = 2012,
}

Contents (236 items)

ICSE-2012-GouesDFW #automation #debugging #program repair
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.
ICSE-2012-ZhouZL #debugging #information retrieval #locality
Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports (JZ, HZ, DL), pp. 14–24.
ICSE-2012-XuanJRZ #debugging #developer #repository
Developer prioritization in bug repositories (JX, HJ, ZR, WZ), pp. 25–35.
ICSE-2012-ServantJ #automation #developer #fault #locality #named
WhoseFault: Automatic developer-to-fault assignment through fault localization (FS, JAJ), pp. 36–46.
ICSE-2012-DagenaisR #api #learning #traceability
Recovering traceability links between an API and its learning resources (BD, MPR), pp. 47–57.
ICSE-2012-XiongHSC #generative
Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
ICSE-2012-NguyenNNTNAN #code completion #graph #source code
Graph-based pattern-oriented, context-sensitive source code completion (ATN, TTN, HAN, AT, HVN, JMAK, TNN), pp. 69–79.
ICSE-2012-LongGCSR #automation
Automatic input rectification (FL, VG, MC, SS, MCR), pp. 80–90.
ICSE-2012-RamasubbuB #challenge #distributed #estimation
Overcoming the challenges in cost estimation for distributed software projects (NR, RKB), pp. 91–101.
ICSE-2012-YuanPZ #open source
Characterizing logging practices in open-source software (DY, SP, YZ), pp. 102–112.
ICSE-2012-LavalleeR #developer #overview #perspective #process
The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.
ICSE-2012-PankratiusSG #empirical #functional #imperative #java #manycore #programming #scala
Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.
ICSE-2012-YanXR #java #performance #problem #profiling
Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.
ICSE-2012-HanDGZX #debugging #in the large #mining #performance #stack
Performance debugging in the large via mining millions of stack traces (SH, YD, SG, DZ, TX), pp. 145–155.
ICSE-2012-GrechanikFX #automation #learning #performance #problem #testing
Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
ICSE-2012-SiegmundKKABRS #automation #detection #performance #predict
Predicting performance via automated feature-interaction detection (NS, SSK, CK, SA, DSB, MR, GS), pp. 167–177.
ICSE-2012-FraserA #empirical #testing
Sound empirical evidence in software testing (GF, AA), pp. 178–188.
ICSE-2012-PetersM #fault #predict #privacy
Privacy and utility for defect prediction: Experiments with MORPH (FP, TM), pp. 189–199.
ICSE-2012-HataMK #debugging #fine-grained #predict
Bug prediction based on fine-grained module histories (HH, OM, TK), pp. 200–210.
ICSE-2012-GeDM #automation #refactoring
Reconciling manual and automatic refactoring (XG, QLD, ERMH), pp. 211–221.
ICSE-2012-FosterGL #ide #named #realtime #refactoring
WitchDoctor: IDE support for real-time auto-completion of refactorings (SRF, WGG, SL), pp. 222–232.
ICSE-2012-VakilianCNRBJ #automation #refactoring #using
Use, disuse, and misuse of automated refactorings (MV, NC, SN, BAR, BPB, REJ), pp. 233–243.
ICSE-2012-GreilerDS #case study #plugin #testing
Test confessions: A study of testing practices for plug-in systems (MG, AvD, MADS), pp. 244–254.
ICSE-2012-RoehmTKM #developer #how #question
How do professional developers comprehend software? (TR, RT, RK, WM), pp. 255–265.
ICSE-2012-Duala-EkokoR #api #case study
Asking and answering questions about unfamiliar APIs: An exploratory study (EDE, MPR), pp. 266–276.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using
Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
ICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing
Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
ICSE-2012-LiuZ #automation #constraints #named
Axis: Automatically fixing atomicity violations through solving control constraints (PL, CZ), pp. 299–309.
ICSE-2012-LiE #detection #named
CBCD: Cloned buggy code detector (JL, MDE), pp. 310–320.
ICSE-2012-IfrahL
Crosscutting revision control system (SI, DHL), pp. 321–330.
ICSE-2012-InoueSXM #open source
Where does this code come from and where does it go? — Integrated code history tracker for open source systems (KI, YS, PX, YM), pp. 331–341.
ICSE-2012-GuimaraesS #detection
Improving early detection of software merge conflicts (MLG, ARS), pp. 342–352.
ICSE-2012-MengWZM #approach #evolution #framework #identification
A history-based matching approach to identification of framework evolution (SM, XW, LZ, HM), pp. 353–363.
ICSE-2012-McMillanGP #detection
Detecting similar software applications (CM, MG, DP), pp. 364–374.
ICSE-2012-BacchelliSDL #classification #development #email
Content classification of development emails (AB, TDS, MD, ML), pp. 375–385.
ICSE-2012-TianLL #debugging #identification #linux
Identifying Linux bug fixing patches (YT, JLL, DL), pp. 386–396.
ICSE-2012-LuciaLJB #refinement
Active refinement of clone anomaly reports (L, DL, LJ, AB), pp. 397–407.
ICSE-2012-MesbahM #analysis #automation #css #maintenance
Automated analysis of CSS rules to support style maintenance (AM, SM), pp. 408–418.
ICSE-2012-BhattacharyaINF #analysis #evolution #graph #predict
Graph-based analysis and prediction for software evolution (PB, MI, IN, MF), pp. 419–429.
ICSE-2012-GethersDKP #impact analysis
Integrated impact analysis for managing software changes (MG, BD, HHK, DP), pp. 430–440.
ICSE-2012-HermansPD #detection #smell #spreadsheet #visualisation
Detecting and visualizing inter-worksheet smells in spreadsheets (FH, MP, AvD), pp. 441–451.
ICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #random testing #testing
An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.
ICSE-2012-GoreR #bias #debugging #metric #statistics
Reducing confounding bias in predicate-level statistical debugging metrics (RG, PFRJ), pp. 463–473.
ICSE-2012-JinO #debugging #named
BugRedux: Reproducing field failures for in-house debugging (WJ, AO), pp. 474–484.
ICSE-2012-RessiaBN #debugging
Object-centric debugging (JR, AB, ON), pp. 485–495.
ICSE-2012-PlonkaSL #matter #programming #question
Disengagement in pair programming: Does it matter? (LP, HS, JvdL), pp. 496–506.
ICSE-2012-DownsPH
Ambient awareness of build status in collocated software teams (JD, BP, JGH), pp. 507–517.
ICSE-2012-ZhouM #community #what
What make long term contributors: Willingness and opportunity in OSS community (MZ, AM), pp. 518–528.
ICSE-2012-LemosFSG #agile #assessment #development #empirical #programming
Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming (OALL, FCF, FFS, AG), pp. 529–539.
ICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability
Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
ICSE-2012-ReichertG #matlab #modelling #slicing
Slicing MATLAB Simulink models (RR, SG), pp. 551–561.
ICSE-2012-RazaviK #model transformation #partial evaluation
Partial evaluation of model transformations (AR, KK), pp. 562–572.
ICSE-2012-FamelisSC #modelling #nondeterminism #reasoning #towards
Partial models: Towards modeling and reasoning with uncertainty (MF, RS, MC), pp. 573–583.
ICSE-2012-ZhengZ #detection #problem #static analysis
Static detection of resource contention problems in server-side scripts (YZ, XZ), pp. 584–594.
ICSE-2012-ZhangE #exception #testing #validation
Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
ICSE-2012-CaiC #concurrent #detection #named #scalability
MagicFuzzer: Scalable deadlock detection for large-scale applications (YC, WKC), pp. 606–616.
ICSE-2012-YskoutSJ #architecture #question #security
Does organizing security patterns focus architectural choices? (KY, RS, WJ), pp. 617–627.
ICSE-2012-ZhengT #architecture #behaviour #consistency #implementation
Enhancing architecture-implementation conformance with change management and support for behavioral mapping (YZ, RNT), pp. 628–638.
ICSE-2012-MirakhorliSCC #approach #automation #quality #traceability
A tactic-centric approach for automating traceability of quality concerns (MM, YS, JCH, ), pp. 639–649.
ICSE-2012-TamrawiNNN #analysis #evaluation #symbolic computation
Build code analysis with symbolic evaluation (AT, HAN, HVN, TNN), pp. 650–660.
ICSE-2012-BalasubramaniamJKMN #approach #automation #constraints #generative #performance #theorem proving
An automated approach to generating efficient constraint solvers (DB, CJ, LK, IM, PN), pp. 661–671.
ICSE-2012-CordyCPSHL #abstraction #model checking #product line
Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
ICSE-2012-NguyenKWF #array #dynamic analysis #invariant #polynomial #using
Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
ICSE-2012-SongT #invariant #metadata
Metadata invariants: Checking and inferring metadata coding conventions (MS, ET), pp. 694–704.
ICSE-2012-AlrajehKLRU #generative #requirements
Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
ICSE-2012-MarinescuC #execution #symbolic computation #testing
make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
ICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICSE-2012-HaoZWMR #on-demand #reduction #testing
On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
ICSE-2012-MollerS #automation #detection
Automated detection of client-state manipulation vulnerabilities (AM, MS), pp. 749–759.
ICSE-2012-DietzLRA #c #c++ #comprehension #integer
Understanding integer overflow in C/C++ (WD, PL, JR, VSA), pp. 760–770.
ICSE-2012-ShahzadSL #analysis #lifecycle #scalability
A large scale exploratory analysis of software vulnerability life cycles (MS, MZS, AXL), pp. 771–781.
ICSE-2012-BuseW #api
Synthesizing API usage examples (RPLB, WW), pp. 782–792.
ICSE-2012-HenssMM #automation #development
Semi-automatically extracting FAQs to improve accessibility of software development knowledge (SH, MM, MM), pp. 793–803.
ICSE-2012-UddinDR #analysis #api #concept
Temporal analysis of API usage concepts (GU, BD, MPR), pp. 804–814.
ICSE-2012-PanditaXZXOP #api #natural language #specification
Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
ICSE-2012-ZhangYZFZZO #api #automation #parametricity #recommendation
Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.
ICSE-2012-HindleBSGD #on the
On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
ICSE-2012-McMillanHPCM #agile #prototype #recommendation #source code
Recommending source code for use in rapid software prototypes (CM, NH, DP, JCH, BM), pp. 848–858.
ICSE-2012-OmarYLM #code completion
Active code completion (CO, YY, TDL, BAM), pp. 859–869.
ICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing
Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
ICSE-2012-ThummalapentaSSC #automation #testing
Automating test automation (ST, SS, NS, SC), pp. 881–891.
ICSE-2012-ZhouXZ #bound #named #polynomial #search-based
Stride: Search-based deterministic replay in polynomial time via bounded linkage (JZ, XX, CZ), pp. 892–902.
ICSE-2012-SongPF #interactive #named #using
iTree: Efficiently discovering high-coverage configurations using interaction trees (CS, AP, JSF), pp. 903–913.
ICSE-2012-KumarKRL #distributed #specification
Inferring class level specifications for distributed systems (SK, SCK, AR, DL), pp. 914–924.
ICSE-2012-PradelJAG #api #consistency #multi #protocol #specification
Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.
ICSE-2012-GhezziM #behaviour #specification #synthesis #validation
Behavioral validation of JFSL specifications through model synthesis (CG, AM), pp. 936–946.
ICSE-2012-AlkhalafBG #analysis #string #using #validation #verification
Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.
ICSE-2012-Sassen
Digital formations of the powerful and the powerless (SS), p. 961.
ICSE-2012-Clesle #industrial #perspective
Supporting sustainability with software — An industrial perspective (FDC), p. 962.
ICSE-2012-Kramer #architecture #question
Whither software architecture? (JK), p. 963.
ICSE-2012-Chapman #ecosystem #towards
Towards a federated cloud ecosystem (CC), p. 967.
ICSE-2012-BianculliGPS #case study #industrial #research #specification
Specification patterns from research to industry: A case study in service-based applications (DB, CG, CP, PS), pp. 968–976.
ICSE-2012-PloomSG #migration #process #scalability
Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse’s SOA landscape (TP, SS, AG), pp. 977–986.
ICSE-2012-BuseZ #development
Information needs for software development analytics (RPLB, TZ), pp. 987–996.
ICSE-2012-ZhangX #tutorial
Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
ICSE-2012-Braithwaite #how #programming #what
Software as an engineering material: How the affordances of programming have changed and what to do about it (KB), p. 998.
ICSE-2012-Wolff #architecture #industrial #question #what
Software architecture — What does it mean in industry? (EW), p. 999.
ICSE-2012-Sprenger #case study #experience #how #re-engineering
How software engineering can benefit from traditional industries — A practical experience report (TS), p. 1000.
ICSE-2012-Schulte #analysis #automation
Ten years of automated code analysis at Microsoft (WS), p. 1001.
ICSE-2012-AndronickJKKSZZ #perspective #process #scalability #verification
Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
ICSE-2012-IwamaNT #industrial #natural language #parsing #specification
Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety
Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.
ICSE-2012-BnayahuGNS
Making sense of healthcare benefits (JB, MG, MN, YS), pp. 1034–1043.
ICSE-2012-NovaisNLCDGM #comprehension #evolution #industrial #interactive #on the #visualisation
On the proactive and interactive visualization for feature evolution comprehension: An industrial investigation (RLN, CN, CANL, EC, FD, AG, MGM), pp. 1044–1053.
ICSE-2012-SunSPR #mining #static analysis
Extending static analysis by mining project-specific rules (BS, GS, AP, BR), pp. 1054–1063.
ICSE-2012-DeLineBRJR #debugging #experience #industrial #paradigm
Debugger Canvas: Industrial experience with the code bubbles paradigm (RD, AB, KR, JJ, SPR), pp. 1064–1073.
ICSE-2012-ZimmermannNGM #debugging #predict
Characterizing and predicting which bugs get reopened (TZ, NN, PJG, BM), pp. 1074–1083.
ICSE-2012-DangWZZN #clustering #named #similarity #stack
ReBucket: A method for clustering duplicate crash reports based on call stack similarity (YD, RW, HZ, DZ, PN), pp. 1084–1093.
ICSE-2012-SillittiSV #case study #comprehension #developer #industrial #programming #scalability
Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentation (AS, GS, JV), pp. 1094–1101.
ICSE-2012-EderJJHVP #how #maintenance #matter #question
How much does unused code matter for maintenance? (SE, MJ, EJ, BH, RV, KHP), pp. 1102–1111.
ICSE-2012-Mendes #case study #elicitation #estimation #industrial #lessons learnt #using #web
Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studies (EM), pp. 1112–1121.
ICSE-2012-Penix #automation #in the cloud #scalability #testing
Large-scale test automation in the cloud (JP), p. 1122.
ICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech #using
Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.
ICSE-2012-WagnerLHKTPSGS #approach #assessment #modelling #quality
The Quamoco product quality modelling and assessment approach (SW, KL, LH, MK, AT, RP, AS, AG, JS), pp. 1133–1142.
ICSE-2012-KimKKJ #approach #case study #industrial #testing #using
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.
ICSE-2012-BavotaLFOZ #approach #education #project management #re-engineering
Teaching software engineering and software project management: An integrated and practical approach (GB, ADL, FF, RO, CZ), pp. 1155–1164.
ICSE-2012-KilamoHC #case study #collaboration #development #education
Teaching collaborative software development: A case study (TK, IH, MAC), pp. 1165–1174.
ICSE-2012-SusB #education #integration #re-engineering #using
Using continuous integration of code and content to teach software engineering with limited resources (JGS, WB), pp. 1175–1184.
ICSE-2012-Cowling #education #testing
Stages in teaching software testing (TC), pp. 1185–1194.
ICSE-2012-FuhrmanCA #education #framework #re-engineering #tool support
Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSE-2012-BudgenDBH #education #question #what
What scope is there for adopting evidence-informed teaching in SE? (DB, SD, PB, NH), pp. 1205–1214.
ICSE-2012-SamarthyamSGN #adaptation #education #industrial #named #requirements
FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements (GS, GS, AKG, RN), pp. 1215–1224.
ICSE-2012-CrnkovicBZ #education #re-engineering
Ten tips to succeed in Global Software Engineering education (IC, IB, MZ), pp. 1225–1234.
ICSE-2012-CavrakOC #collaboration #development #distributed
Collaboration patterns in distributed software development projects (IC, MO, IC), pp. 1235–1244.
ICSE-2012-RongZXS #education #empirical
Improving PSP education by pairing: An empirical study (GR, HZ, MX, DS), pp. 1245–1254.
ICSE-2012-PentaAGGA #empirical #experience #re-engineering
Five days of empirical software engineering: The PASED experience (MDP, GA, DMG, YGG, BA), pp. 1255–1258.
ICSE-2012-RoehmM #automation #detection #developer #development #problem #process
Automatically detecting developer activities and problems in software development work (TR, WM), pp. 1261–1264.
ICSE-2012-MitchellS #identification #process
Software process improvement through the identification and removal of project-level knowledge flow obstacles (SMM, CBS), pp. 1265–1268.
ICSE-2012-AtkinsonGK #domain-specific language
Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
ICSE-2012-HaiducBOML #query #re-engineering #retrieval
Evaluating the specificity of text retrieval queries to support software engineering tasks (SH, GB, RO, AM, ADL), pp. 1273–1276.
ICSE-2012-DornT #adaptation #architecture #co-evolution
Co-adapting human collaborations and software architectures (CD, RNT), pp. 1277–1280.
ICSE-2012-WrightP
Release engineering practices and pitfalls (HKW, DEP), pp. 1281–1284.
ICSE-2012-Corrigan #information management
Augmented intelligence — The new AI — Unleashing human capabilities in knowledge work (JMC), pp. 1285–1288.
ICSE-2012-SchwarzLR #how #on the #repository
On how often code is cloned across repositories (NS, ML, RR), pp. 1289–1292.
ICSE-2012-SharT #injection #mining #predict #sql
Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities (LKS, HBKT), pp. 1293–1296.
ICSE-2012-NguyenNDKS #analysis #developer #fault
Inferring developer expertise through defect analysis (TTN, TNN, ED, TK, PS), pp. 1297–1300.
ICSE-2012-Hindle #mining #power management
Green mining: Investigating power consumption across versions (AH), pp. 1301–1304.
ICSE-2012-FengC #behaviour #learning #multi
Multi-label software behavior learning (YF, ZC), pp. 1305–1308.
ICSE-2012-ChatzigeorgiouM #evolution #network #object-oriented #roadmap
Trends in object-oriented software evolution: Investigating network properties (AC, GM), pp. 1309–1312.
ICSE-2012-RogersGQB #documentation
Exploring techniques for rationale extraction from existing documents (BR, JG, YQ, JEB), pp. 1313–1316.
ICSE-2012-Murphy-Hill #social
Continuous social screencasting to facilitate software tool discovery (ERMH), pp. 1317–1320.
ICSE-2012-GreenwoodRW #design #named #social #social media #towards
UDesignIt: Towards social media for community-driven design (PG, AR, JW), pp. 1321–1324.
ICSE-2012-SingerS #re-engineering #social #using
Influencing the adoption of software engineering methods using social software (LS, KS), pp. 1325–1328.
ICSE-2012-Cleland-HuangSKCLMGPHL #contest #re-engineering #towards
Toward actionable, broadly accessible contests in Software Engineering (JCH, YS, EK, AC, GL, EM, MG, DP, JHH, WL), pp. 1329–1332.
ICSE-2012-KuhnS #named #version control
CodeTimeline: Storytelling with versioning data (AK, MS), pp. 1333–1336.
ICSE-2012-SongHLSLD #approach #model checking #multi #probability
Analyzing multi-agent systems with probabilistic model checking approach (SS, JH, YL, JS, HfL, JSD), pp. 1337–1340.
ICSE-2012-BoosFJK #cyber-physical #debugging #framework #named
BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.
ICSE-2012-AlshahwanH #effectiveness #testing
Augmenting test suites effectiveness by increasing output diversity (NA, MH), pp. 1345–1348.
ICSE-2012-MusluBHEN #ide #recommendation
Improving IDE recommendations by considering global implications of existing recommendations (KM, YB, RH, MDE, DN), pp. 1349–1352.
ICSE-2012-PerrouinMCFKTBJ #adaptation #evolution #flexibility #towards
Towards flexible evolution of Dynamically Adaptive Systems (GP, BM, FC, FF, JK, YLT, OB, JMJ), pp. 1353–1356.
ICSE-2012-CasatiDDEFKMMOPQRSTV #enterprise #network #physics #process #towards
Towards business processes orchestrating the physical enterprise with wireless sensor networks (FC, FD, GD, JE, NF, SK, PMM, LM, FJO, GPP, AQ, KR, PS, ST, TV), pp. 1357–1360.
ICSE-2012-LutzLLKHMS #programmable #requirements #self #verification
Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
ICSE-2012-GuzziB #communication
Facilitating communication between engineers with CARES (AG, AB), pp. 1367–1370.
ICSE-2012-SegallT #combinator #interactive #refinement #testing
Interactive refinement of combinatorial test plans (IS, RTB), pp. 1371–1374.
ICSE-2012-KeenanCLCSMGPMHDMHH #named #research #traceability
TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions (EK, AC, GL, JCH, YS, EM, MG, DP, JIM, JHH, AD, DM, SH, DH), pp. 1375–1378.
ICSE-2012-CookHSS #compilation #composition #specification #using #verification
Specification engineering and modular verification using a web-integrated verifying compiler (CTC, HKH, HS, MS), pp. 1379–1382.
ICSE-2012-PintoCG
Writing dynamic service orchestrations with DSOL (LSP, GC, CG), pp. 1383–1386.
ICSE-2012-MarianiP #composition #named #plugin
MASH: A tool for end-user plug-in composition (LM, FP), pp. 1387–1390.
ICSE-2012-NguyenNNN #detection #named #web
BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications (HVN, HAN, TTN, TNN), pp. 1391–1394.
ICSE-2012-CunhaFMS #framework #modelling #named #spreadsheet
MDSheet: A framework for model-driven spreadsheet engineering (JC, JPF, JM, JS), pp. 1395–1398.
ICSE-2012-TreudeGGS #development #interactive #named #using #visualisation
WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment (CT, PG, LG, MADS), pp. 1399–1402.
ICSE-2012-GhezziMS #component #monitoring #runtime
Runtime monitoring of component changes with Spy@Runtime (CG, AM, MS), pp. 1403–1406.
ICSE-2012-NguyenNNN12a #code completion #graph #named
GraPacc: A graph-based pattern-oriented, context-sensitive code completion tool (ATN, HAN, TTN, TNN), pp. 1407–1410.
ICSE-2012-ReissBL #programming
Code Bubbles: A practical working-set programming environment (SPR, JNB, JJLJ), pp. 1411–1414.
ICSE-2012-RuscioPP #evolution #named #open source
EVOSS: A tool for managing the evolution of free and open source software systems (DDR, PP, AP), pp. 1415–1418.
ICSE-2012-BavotaLMOP #eclipse #refactoring
Supporting extract class refactoring in Eclipse: The ARIES project (GB, ADL, AM, RO, FP), pp. 1419–1422.
ICSE-2012-GrossFZ #named #search-based #testing #user interface
EXSYST: Search-based GUI testing (FG, GF, AZ), pp. 1423–1426.
ICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance #runtime
JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSE-2012-RubinovW #automation #testing
Augmenting test suites automatically (KR, JW), pp. 1433–1434.
ICSE-2012-NaganoNKAHUF #mining #repository #scalability #using
Using the GPGPU for scaling up Mining Software Repositories (RN, HN, YK, BA, KH, NU, AF), pp. 1435–1436.
ICSE-2012-PaganoJBRBM #maintenance #monitoring #named
FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.
ICSE-2012-GambiT #modelling #performance
Modeling Cloud performance with Kriging (AG, GT), pp. 1439–1440.
ICSE-2012-LeottaRRRAV #industrial
SOA adoption in the Italian industry (ML, FR, MR, GR, EA, TV), pp. 1441–1442.
ICSE-2012-CunhaFMS12a #bidirectional #modelling #spreadsheet
A bidirectional model-driven spreadsheet environment (JC, JPF, JM, JS), pp. 1443–1444.
ICSE-2012-CarzanigaGMP #java #self
A self-healing technique for Java applications (AC, AG, AM, NP), pp. 1445–1446.
ICSE-2012-ForbesKR #challenge #navigation #open source #research
When open source turns cold on innovation — The challenges of navigating licensing complexities in new research domains (CF, IK, JR), pp. 1447–1448.
ICSE-2012-VoelterP #composition #language workbench
Language modularity with the MPS language workbench (MV, VP), pp. 1449–1450.
ICSE-2012-HuangLXW #mining #recommendation #repository #xml
Mining application repository to recommend XML configuration snippets (SH, YL, YX, WW), pp. 1451–1452.
ICSE-2012-OuelletMSG #feature model
Locating features in dynamically configured avionics software (MO, EM, NS, MG), pp. 1453–1454.
ICSE-2012-SongT12a #debugging #detection #metadata #on the fly
Detecting metadata bugs on the fly (MS, ET), pp. 1455–1456.
ICSE-2012-KramerKKB
Blaze (JPK, JK, TK, JB), pp. 1457–1458.
ICSE-2012-WehrmakerGS #feedback
ConTexter feedback system (TW, SG, KS), pp. 1459–1460.
ICSE-2012-ZhengT12a #architecture #implementation #named
xMapper: An architecture-implementation mapping tool (YZ, RNT), pp. 1461–1462.
ICSE-2012-AlvesSF #named #smell
ConcernReCS: Finding code smells in software aspectization (PA, DS, EF), pp. 1463–1464.
ICSE-2012-AstromskisJM #approach #modelling #named
Egidio: A non-invasive approach for synthesizing organizational models (SA, AJ, ARM), pp. 1465–1466.
ICSE-2012-AntunesCG #eclipse #named #retrieval
SDiC: Context-based retrieval in Eclipse (BA, JC, PG), pp. 1467–1468.
ICSE-2012-ZhangLY #debugging #framework
An integrated bug processing framework (XZ, ML, KY), pp. 1469–1470.
ICSE-2012-FranceBMCJ #development #modelling #repository
Repository for Model Driven Development (ReMoDD) (RBF, JMB, SPM, BHCC, ACJ), pp. 1471–1472.
ICSE-2012-Tamburri #agile #network
Going global with agile service networks (DAT), pp. 1475–1478.
ICSE-2012-Bavota #refactoring #semantics #using
Using structural and semantic information to support software refactoring (GB), pp. 1479–1482.
ICSE-2012-Khoshnevis #approach #product line #variability
An approach to variability management in service-oriented product lines (SK), pp. 1483–1486.
ICSE-2012-Chioasca #automation #machine learning #model transformation #requirements #using
Using machine learning to enhance automated requirements model transformation (EVC), pp. 1487–1490.
ICSE-2012-Avancini #research #security #testing #web
Security testing of web applications: A research plan (AA), pp. 1491–1494.
ICSE-2012-Bailey #adaptation #modelling #self
Application of Self-Adaptive techniques to federated authorization models (CB), pp. 1495–1498.
ICSE-2012-Dilshener #concept #information retrieval #using
Improving information retrieval-based concept location using contextual relationships (TD), pp. 1499–1502.
ICSE-2012-Kalumbilo #effectiveness #re-engineering #specification
Effective specification of decision rights and accountabilities for better performing software engineering projects (MK), pp. 1503–1506.
ICSE-2012-Colanzi #architecture #design #product line
Search based design of software product lines architectures (TEC), pp. 1507–1510.
ICSE-2012-Wen #fault #locality #slicing
Software fault localization based on program slicing spectrum (WW), pp. 1511–1514.
ICSE-2012-Imtiaz #architecture #distributed #perspective #traceability
Architectural task allocation in distributed environment: A traceability perspective (SI), pp. 1515–1518.
ICSE-2012-Ghardallou #analysis #invariant #termination #using
Using invariant relations in the termination analysis of while loops (WG), pp. 1519–1522.
ICSE-2012-Bohme #clustering
Software regression as change of input partitioning (MB), pp. 1523–1526.
ICSE-2012-Westermann #developer #feedback #performance
A generic methodology to derive domain-specific performance feedback for developers (DW), pp. 1527–1530.
ICSE-2012-Motta #modelling #multi #towards #uml #verification
Towards the verification of multi-diagram UML models (AM), pp. 1531–1534.
ICSE-2012-Guzzi #information management
Documenting and sharing knowledge about code (AG), pp. 1535–1538.
ICSE-2012-Blincoe #coordination #developer #performance #process
Timely and efficient facilitation of coordination of software developers’ activities (KB), pp. 1539–1542.
ICSE-2012-Rodes #layout #source code #stack #towards
Stack layout transformation: Towards diversity for securing binary programs (BR), pp. 1543–1546.
ICSE-2012-DIppolito #challenge #re-engineering #synthesis
Synthesis of event-based controllers: A software engineering challenge (ND), pp. 1547–1550.
ICSE-2012-Ressin #development #empirical #research
Empirically researching development of international software (MR), pp. 1551–1554.
ICSE-2012-Faghih #modelling
Model translations among big-step modeling languages (FF), pp. 1555–1558.
ICSE-2012-Monteiro #algorithm #effectiveness #named #parallel
HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors (PM), pp. 1559–1562.
ICSE-2012-Jaafar #analysis #evolution #on the #source code
On the analysis of evolution of software artefacts and programs (FJ), pp. 1563–1566.
ICSE-2012-Sheth
Societal Computing (SS), pp. 1567–1570.
ICSE-2012-Stolee #lightweight #semantics #source code #specification
Finding suitable programs: Semantic search with incomplete and lightweight specifications (KTS), pp. 1571–1574.
ICSE-2012-Steele #development
Certification-based development of critical systems (PS), pp. 1575–1578.
ICSE-2012-Mayerhofer #debugging #modelling #testing #uml
Testing and debugging UML models based on fUML (TM), pp. 1579–1582.
ICSE-2012-Shang #developer #using
Bridging the divide between software developers and operators using logs (WS), pp. 1583–1586.
ICSE-2012-Zanetti #co-evolution #community #development #lessons learnt #open source
The co-evolution of socio-technical structures in sustainable software development: Lessons from the open source software communities (MSZ), pp. 1587–1590.
ICSE-2012-Elyasov #testing
Log-based testing (AE), pp. 1591–1594.
ICSE-2012-Schuchardt #mobile
Moving mobile applications between mobile devices seamlessly (VS), pp. 1595–1598.
ICSE-2012-Blincoe12a #collaboration #coordination #detection #developer #requirements
Timely detection of Coordination Requirements to support collaboration among software developers (KB), pp. 1601–1603.
ICSE-2012-Yu #analysis #identification #using
Improving failure-inducing changes identification using coverage analysis (KY), pp. 1604–1606.
ICSE-2012-Johnson #case study #question #static analysis #tool support #using #why
A study on improving static analysis tools: Why are we not using them? (BJ), pp. 1607–1609.
ICSE-2012-Kukreja #collaboration #elicitation #framework #named #network #requirements #social
Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiations (NK), pp. 1610–1612.
ICSE-2012-Vetro #automation #identification #static analysis #technical debt #using
Using automatic static analysis to identify technical debt (AV), pp. 1613–1615.
ICSE-2012-Mendes12a #co-evolution #evolution #modelling #spreadsheet
Coupled evolution of model-driven spreadsheets (JM), pp. 1616–1618.
ICSE-2012-Thao #evolution #product line
Managing evolution of software product line (CT), pp. 1619–1621.
ICSE-2012-Demuth #constraints #metamodelling #modelling
Enabling dynamic metamodels through constraint-driven modeling (AD), pp. 1622–1624.
ICSE-2012-Chowdhury #development #tool support
Assisting end-user development in browser-based mashup tools (SRC), pp. 1625–1627.
ICSE-2012-Schwarz #development
Hot clones: Combining search-driven development, clone management, and code provenance (NS), pp. 1628–1629.
ICSE-2012-Gu #fine-grained #ide #interactive
Capturing and exploiting fine-grained IDE interactions (ZG), pp. 1630–1631.
ICSE-2012-Estefo #testing
Restructuring unit tests with TestSurgeon (PE), pp. 1632–1634.
ICSE-2012-Souza #adaptation #approach #design
A requirements-based approach for the design of adaptive systems (VESS), pp. 1635–1637.
ICSE-2012-Camilli #analysis #in the cloud #petri net
Petri nets state space analysis in the cloud (MC), pp. 1638–1640.
ICSE-2012-Butler #identifier #java #mining
Mining Java class identifier naming conventions (SB), pp. 1641–1643.
ICSE-2012-Keivanloo #integration #mining #online #repository
Online sharing and integration of results from mining software repositories (IK), pp. 1644–1646.
ICSE-2012-Kajko-MattssonSGJSHMMEBS #re-engineering
Refounding software engineering: The Semat initiative (MKM, MS, MG, IJ, IS, SH, PM, BM, BE, AJB, ES), pp. 1649–1650.

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.