BibSLEIGH — Proceedings of the 34th International Conference on Software Engineering

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

@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, MÇ), 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.

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

Contents (236 items)

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