Abstract is missing.
- A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 eachClaire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer. 3-13 [doi]
- Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reportsJian Zhou, Hongyu Zhang, David Lo. 14-24 [doi]
- Developer prioritization in bug repositoriesJifeng Xuan, He Jiang, Zhilei Ren, Weiqin Zou. 25-35 [doi]
- WhoseFault: Automatic developer-to-fault assignment through fault localizationFrancisco Servant, James A. Jones. 36-46 [doi]
- Recovering traceability links between an API and its learning resourcesBarthélémy Dagenais, Martin P. Robillard. 47-57 [doi]
- Generating range fixes for software configurationYingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki. 58-68 [doi]
- Graph-based pattern-oriented, context-sensitive source code completionAnh Tuan Nguyen, Tung Thanh Nguyen, Hoan Anh Nguyen, Ahmed Tamrawi, Hung Viet Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen. 69-79 [doi]
- Automatic input rectificationFan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard. 80-90 [doi]
- Overcoming the challenges in cost estimation for distributed software projectsNarayan Ramasubbu, Rajesh Krishna Balan. 91-101 [doi]
- Characterizing logging practices in open-source softwareDing Yuan, Soyeon Park, Yuanyuan Zhou. 102-112 [doi]
- The impacts of software process improvement on developers: A systematic reviewMathieu Lavallée, Pierre N. Robillard. 113-122 [doi]
- Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and JavaVictor Pankratius, Felix Schmidt, Gilda Garreton. 123-133 [doi]
- Uncovering performance problems in Java applications with reference propagation profilingDacong Yan, Guoqing (Harry) Xu, Atanas Rountev. 134-144 [doi]
- Performance debugging in the large via mining millions of stack tracesShi Han, Yingnong Dang, Song Ge, Dongmei Zhang, Tao Xie. 145-155 [doi]
- Automatically finding performance problems with feedback-directed learning software testingMark Grechanik, Chen Fu, Qing Xie. 156-166 [doi]
- Predicting performance via automated feature-interaction detectionNorbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake. 167-177 [doi]
- Sound empirical evidence in software testingGordon Fraser, Andrea Arcuri. 178-188 [doi]
- Privacy and utility for defect prediction: Experiments with MORPHFayola Peters, Tim Menzies. 189-199 [doi]
- Bug prediction based on fine-grained module historiesHideaki Hata, Osamu Mizuno, Tohru Kikuno. 200-210 [doi]
- Reconciling manual and automatic refactoringXi Ge, Quinton L. DuBose, Emerson R. Murphy-Hill. 211-221 [doi]
- WitchDoctor: IDE support for real-time auto-completion of refactoringsStephen R. Foster, William G. Griswold, Sorin Lerner. 222-232 [doi]
- Use, disuse, and misuse of automated refactoringsMohsen Vakilian, Nicholas Chen, Stas Negara, Balaji Ambresh Rajkumar, Brian P. Bailey, Ralph E. Johnson. 233-243 [doi]
- Test confessions: A study of testing practices for plug-in systemsMichaela Greiler, Arie van Deursen, Margaret-Anne D. Storey. 244-254 [doi]
- How do professional developers comprehend software?Tobias Roehm, Rebecca Tiarks, Rainer Koschke, Walid Maalej. 255-265 [doi]
- Asking and answering questions about unfamiliar APIs: An exploratory studyEkwa Duala-Ekoko, Martin P. Robillard. 266-276 [doi]
- Automated repair of HTML generation errors in PHP applications using string constraint solvingHesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren. 277-287 [doi]
- Leveraging test generation and specification mining for automated bug detection without false positivesMichael Pradel, Thomas R. Gross. 288-298 [doi]
- Axis: Automatically fixing atomicity violations through solving control constraintsPeng Liu 0010, Charles Zhang. 299-309 [doi]
- CBCD: Cloned buggy code detectorJingyue Li, Michael D. Ernst. 310-320 [doi]
- Crosscutting revision control systemSagi Ifrah, David H. Lorenz. 321-330 [doi]
- Where does this code come from and where does it go? - Integrated code history tracker for open source systemsKatsuro Inoue, Yusuke Sasaki, Pei Xia, Yuki Manabe. 331-341 [doi]
- Improving early detection of software merge conflictsMário Luís Guimarães, António Rito Silva. 342-352 [doi]
- A history-based matching approach to identification of framework evolutionSichen Meng, Xiaoyin Wang, Lu Zhang 0023, Hong Mei. 353-363 [doi]
- Detecting similar software applicationsCollin McMillan, Mark Grechanik, Denys Poshyvanyk. 364-374 [doi]
- Content classification of development emailsAlberto Bacchelli, Tommaso Dal Sasso, Marco D'Ambros, Michele Lanza. 375-385 [doi]
- Identifying Linux bug fixing patchesYuan Tian, Julia L. Lawall, David Lo. 386-396 [doi]
- Active refinement of clone anomaly reportsLucia, David Lo, Lingxiao Jiang, Aditya Budi. 397-407 [doi]
- Automated analysis of CSS rules to support style maintenanceAli Mesbah, Shabnam Mirshokraie. 408-418 [doi]
- Graph-based analysis and prediction for software evolutionPamela Bhattacharya, Marios Iliofotou, Iulian Neamtiu, Michalis Faloutsos. 419-429 [doi]
- Integrated impact analysis for managing software changesMalcom Gethers, Bogdan Dit, Huzefa H. Kagdi, Denys Poshyvanyk. 430-440 [doi]
- Detecting and visualizing inter-worksheet smells in spreadsheetsFelienne Hermans, Martin Pinzger, Arie van Deursen. 441-451 [doi]
- An empirical study about the effectiveness of debugging when random test cases are usedMariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella. 452-462 [doi]
- Reducing confounding bias in predicate-level statistical debugging metricsRoss Gore, Paul F. Reynolds Jr.. 463-473 [doi]
- BugRedux: Reproducing field failures for in-house debuggingWei Jin, Alessandro Orso. 474-484 [doi]
- Object-centric debuggingJorge Ressia, Alexandre Bergel, Oscar Nierstrasz. 485-495 [doi]
- Disengagement in pair programming: Does it matter?Laura Plonka, Helen Sharp, Janet van der Linden. 496-506 [doi]
- Ambient awareness of build status in collocated software teamsJohn Downs, Beryl Plimmer, John G. Hosking. 507-517 [doi]
- What make long term contributors: Willingness and opportunity in OSS communityMinghui Zhou, Audris Mockus. 518-528 [doi]
- Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programmingOtávio Augusto Lazzarini Lemos, Fabiano Cutigi Ferrari, Fabio Fagundes Silveira, Alessandro Garcia. 529-539 [doi]
- Maintaining invariant traceability through bidirectional transformationsYijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux. 540-550 [doi]
- Slicing MATLAB Simulink modelsRobert Reicherdt, Sabine Glesner. 551-561 [doi]
- Partial evaluation of model transformationsAli Razavi, Kostas Kontogiannis. 562-572 [doi]
- Partial models: Towards modeling and reasoning with uncertaintyMichalis Famelis, Rick Salay, Marsha Chechik. 573-583 [doi]
- Static detection of resource contention problems in server-side scriptsYunhui Zheng, Xiangyu Zhang. 584-594 [doi]
- Amplifying tests to validate exception handling codePingyu Zhang, Sebastian G. Elbaum. 595-605 [doi]
- MagicFuzzer: Scalable deadlock detection for large-scale applicationsYan Cai, W. K. Chan. 606-616 [doi]
- Does organizing security patterns focus architectural choices?Koen Yskout, Riccardo Scandariato, Wouter Joosen. 617-627 [doi]
- Enhancing architecture-implementation conformance with change management and support for behavioral mappingYongjie Zheng, Richard N. Taylor. 628-638 [doi]
- A tactic-centric approach for automating traceability of quality concernsMehdi Mirakhorli, Yonghee Shin, Jane Cleland-Huang, Murat Çinar. 639-649 [doi]
- Build code analysis with symbolic evaluationAhmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen. 650-660 [doi]
- An automated approach to generating efficient constraint solversDharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale. 661-671 [doi]
- Simulation-based abstractions for software product-line model checkingMaxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. 672-682 [doi]
- Using dynamic analysis to discover polynomial and array invariantsThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest. 683-693 [doi]
- Metadata invariants: Checking and inferring metadata coding conventionsMyoungkyu Song, Eli Tilevich. 694-704 [doi]
- Generating obstacle conditions for requirements completenessDalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel. 705-715 [doi]
- make test-zesti: A symbolic execution solution for improving regression testingPaul Dan Marinescu, Cristian Cadar. 716-726 [doi]
- Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded codeAdrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov. 727-737 [doi]
- On-demand test suite reductionDan Hao, Lu Zhang 0023, Xingxia Wu, Hong Mei, Gregg Rothermel. 738-748 [doi]
- Automated detection of client-state manipulation vulnerabilitiesAnders Møller, Mathias Schwarz. 749-759 [doi]
- Understanding integer overflow in C/C++Will Dietz, Peng Li, John Regehr, Vikram S. Adve. 760-770 [doi]
- A large scale exploratory analysis of software vulnerability life cyclesMuhammad Shahzad, Muhammad Zubair Shafiq, Alex X. Liu. 771-781 [doi]
- Synthesizing API usage examplesRaymond P. L. Buse, Westley Weimer. 782-792 [doi]
- Semi-automatically extracting FAQs to improve accessibility of software development knowledgeStefan Henß, Martin Monperrus, Mira Mezini. 793-803 [doi]
- Temporal analysis of API usage conceptsGias Uddin, Barthélémy Dagenais, Martin P. Robillard. 804-814 [doi]
- Inferring method specifications from natural language API descriptionsRahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, Amit M. Paradkar. 815-825 [doi]
- Automatic parameter recommendation for practical API usageCheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou. 826-836 [doi]
- On the naturalness of softwareAbram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu. 837-847 [doi]
- Recommending source code for use in rapid software prototypesCollin McMillan, Negar Hariri, Denys Poshyvanyk, Jane Cleland-Huang, Bamshad Mobasher. 848-858 [doi]
- Active code completionCyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Brad A. Myers. 859-869 [doi]
- Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testingMatt Staats, Gregory Gay, Mats Per Erik Heimdahl. 870-880 [doi]
- Automating test automationSuresh Thummalapenta, Saurabh Sinha, Nimit Singhania, Satish Chandra. 881-891 [doi]
- Stride: Search-based deterministic replay in polynomial time via bounded linkageJinguo Zhou, Xiao Xiao, Charles Zhang. 892-902 [doi]
- iTree: Efficiently discovering high-coverage configurations using interaction treesCharles Song, Adam Porter, Jeffrey S. Foster. 903-913 [doi]
- Inferring class level specifications for distributed systemsSandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo. 914-924 [doi]
- Statically checking API protocol conformance with mined multi-object specificationsMichael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross. 925-935 [doi]
- Behavioral validation of JFSL specifications through model synthesisCarlo Ghezzi, Andrea Mocci. 936-946 [doi]
- Verifying client-side input validation functions using string analysisMuath Alkhalaf, Tevfik Bultan, Jose L. Gallegos. 947-957 [doi]
- Digital formations of the powerful and the powerless (Keynote)Saskia Sassen. 961 [doi]
- Supporting sustainability with software - An industrial perspective (Keynote)Frank-Dieter Clesle. 962 [doi]
- Whither software architecture? (Keynote)Jeff Kramer. 963 [doi]
- Towards a federated cloud ecosystem (Invited industrial talk)Clovis Chapman. 967 [doi]
- Specification patterns from research to industry: A case study in service-based applicationsDomenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti. 968-976 [doi]
- Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse's SOA landscapeTarmo Ploom, Stefan Scheit, Axel Glaser. 977-986 [doi]
- Information needs for software development analyticsRaymond P. L. Buse, Thomas Zimmermann. 987-996 [doi]
- Software analytics in practice: Mini tutorialDongmei Zhang, Tao Xie. 997 [doi]
- Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk)Keith Braithwaite. 998 [doi]
- Software architecture - What does it mean in industry? (Invited industrial talk)Eberhard Wolff. 999 [doi]
- How software engineering can benefit from traditional industries - A practical experience report (Invited industrial talk)Tom Sprenger. 1000 [doi]
- Ten years of automated code analysis at Microsoft (Invited industrial talk)Wolfram Schulte. 1001 [doi]
- Large-scale formal verification in practice: A process perspectiveJune Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu. 1002-1011 [doi]
- Constructing parser for industrial software specifications containing formal and natural language descriptionFutoshi Iwama, Taiga Nakamura, Hironori Takeuchi. 1012-1021 [doi]
- Formal correctness, safety, dependability, and performance analysis of a satelliteMarie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. 1022-1031 [doi]
- Goldfish bowl panel: Software development analyticsTim Menzies, Thomas Zimmermann. 1032-1033 [doi]
- Making sense of healthcare benefitsJonathan Bnayahu, Maayan Goldstein, Mordechai Nisenson, Yahalomit Simionovici. 1034-1043 [doi]
- On the proactive and interactive visualization for feature evolution comprehension: An industrial investigationRenato Lima Novais, Camila Nunes, Caio A. N. Lima, Elder Cirilo, Francisco Dantas, Alessandro Garcia, Manoel G. Mendonça. 1044-1053 [doi]
- Extending static analysis by mining project-specific rulesBoya Sun, Gang Shu, Andy Podgurski, Brian Robinson. 1054-1063 [doi]
- Debugger Canvas: Industrial experience with the code bubbles paradigmRobert DeLine, Andrew Bragdon, Kael Rowan, Jens Jacobsen, Steven P. Reiss. 1064-1073 [doi]
- Characterizing and predicting which bugs get reopenedThomas Zimmermann, Nachiappan Nagappan, Philip J. Guo, Brendan Murphy. 1074-1083 [doi]
- ReBucket: A method for clustering duplicate crash reports based on call stack similarityYingnong Dang, Rongxin Wu, Hongyu Zhang, Dongmei Zhang, Peter Nobel. 1084-1093 [doi]
- Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentationAlberto Sillitti, Giancarlo Succi, Jelena Vlasenko. 1094-1101 [doi]
- How much does unused code matter for maintenance?Sebastian Eder, Maximilian Junker, Elmar Jürgens, Benedikt Hauptmann, Rudolf Vaas, Karl-Heinz Prommer. 1102-1111 [doi]
- Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studiesEmilia Mendes. 1112-1121 [doi]
- Large-scale test automation in the cloud (Invited industrial talk)John Penix. 1122 [doi]
- Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domainNicolas Devos, Christophe Ponsard, Jean-Christophe Deprez, Renaud Bauvin, Benedicte Moriau, Guy Anckaerts. 1123-1132 [doi]
- The Quamoco product quality modelling and assessment approachStefan Wagner, Klaus Lochmann, Lars Heinemann, Michael Kläs, Adam Trendowicz, Reinhold Plösch, Andreas Seidi, Andreas Goeb, Jonathan Streit. 1133-1142 [doi]
- Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEEYunho Kim, Moonzoo Kim, Young-Joo Kim, Yoonkyu Jang. 1143-1152 [doi]
- Teaching software engineering and software project management: An integrated and practical approachGabriele Bavota, Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Carlo Zottoli. 1155-1164 [doi]
- Teaching collaborative software development: A case studyTerhi Kilamo, Imed Hammouda, Mohamed Amine Chatti. 1165-1174 [doi]
- Using continuous integration of code and content to teach software engineering with limited resourcesJorn Guy Sus, William Billingsley. 1175-1184 [doi]
- Stages in teaching software testingTony Cowling. 1185-1194 [doi]
- Integrating tools and frameworks in undergraduate software engineering curriculumChristopher Fuhrman, Roger Champagne, Alain April. 1195-1204 [doi]
- What scope is there for adopting evidence-informed teaching in SE?David Budgen, Sarah Drummond, Pearl Brereton, Nikki Holland. 1205-1214 [doi]
- FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirementsGanesh Samarthyam, Girish Suryanarayana, Arbind Kumar Gupta, Raghu Nambiar. 1215-1224 [doi]
- Ten tips to succeed in Global Software Engineering educationIvica Crnkovic, Ivana Bosnic, Mario Zagar. 1225-1234 [doi]
- Collaboration patterns in distributed software development projectsIgor Cavrak, Marin Orlic, Ivica Crnkovic. 1235-1244 [doi]
- Improving PSP education by pairing: An empirical studyGuoping Rong, He Zhang, Mingjuan Xie, Dong Shao. 1245-1254 [doi]
- Five days of empirical software engineering: The PASED experienceMassimiliano Di Penta, Giuliano Antoniol, Daniel M. Germán, Yann-Gaël Guéhéneuc, Bram Adams. 1255-1258 [doi]
- Automatically detecting developer activities and problems in software development workTobias Roehm, Walid Maalej. 1261-1264 [doi]
- Software process improvement through the identification and removal of project-level knowledge flow obstaclesSusan M. Mitchell, Carolyn B. Seaman. 1265-1268 [doi]
- Symbiotic general-purpose and domain-specific languagesColin Atkinson, Ralph Gerbig, Bastian Kennel. 1269-1272 [doi]
- Evaluating the specificity of text retrieval queries to support software engineering tasksSonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrian Marcus, Andrea De Lucia. 1273-1276 [doi]
- Co-adapting human collaborations and software architecturesChristoph Dorn, Richard N. Taylor. 1277-1280 [doi]
- Release engineering practices and pitfallsHyrum K. Wright, Dewayne E. Perry. 1281-1284 [doi]
- Augmented intelligence - The new AI - Unleashing human capabilities in knowledge workJames M. Corrigan. 1285-1288 [doi]
- On how often code is cloned across repositoriesNiko Schwarz, Mircea Lungu, Romain Robbes. 1289-1292 [doi]
- Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilitiesLwin Khin Shar, Hee Beng Kuan Tan. 1293-1296 [doi]
- Inferring developer expertise through defect analysisTung Thanh Nguyen, Tien N. Nguyen, Evelyn Duesterwald, Tim Klinger, Peter Santhanam. 1297-1300 [doi]
- Green mining: Investigating power consumption across versionsAbram Hindle. 1301-1304 [doi]
- Multi-label software behavior learningYang Feng, Zhenyu Chen. 1305-1308 [doi]
- Trends in object-oriented software evolution: Investigating network propertiesAlexander Chatzigeorgiou, George Melas. 1309-1312 [doi]
- Exploring techniques for rationale extraction from existing documentsBenjamin Rogers, James Gung, Yechen Qiao, Janet E. Burge. 1313-1316 [doi]
- Continuous social screencasting to facilitate software tool discoveryEmerson R. Murphy-Hill. 1317-1320 [doi]
- UDesignIt: Towards social media for community-driven designPhil Greenwood, Awais Rashid, James Walkerdine. 1321-1324 [doi]
- Influencing the adoption of software engineering methods using social softwareLeif Singer, Kurt Schneider. 1325-1328 [doi]
- Toward actionable, broadly accessible contests in Software EngineeringJane Cleland-Huang, Yonghee Shin, Ed Keenan, Adam Czauderna, Greg Leach, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jane Huffman Hayes, Wenbin Li. 1329-1332 [doi]
- CodeTimeline: Storytelling with versioning dataAdrian Kuhn, Mirko Stocker. 1333-1336 [doi]
- Analyzing multi-agent systems with probabilistic model checking approachSongzheng Song, Jianye Hao, Yang Liu 0003, Jun Sun 0001, Ho-Fung Leung, Jin Song Dong. 1337-1340 [doi]
- BRACE: An assertion framework for debugging cyber-physical systemsKevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim. 1341-1344 [doi]
- Augmenting test suites effectiveness by increasing output diversityNadia Alshahwan, Mark Harman. 1345-1348 [doi]
- Improving IDE recommendations by considering global implications of existing recommendationsKivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin. 1349-1352 [doi]
- Towards flexible evolution of Dynamically Adaptive SystemsGilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel. 1353-1356 [doi]
- Towards business processes orchestrating the physical enterprise with wireless sensor networksFabio Casati, Florian Daniel, Guenadi Dantchev, Joakim Eriksson, Niclas Finne, Stamatis Karnouskos, Patricio Moreno Montero, Luca Mottola, Felix Jonathan Oppermann, Gian Pietro Picco, Antonio Quartulli, Kay Römer, Patrik Spiess, Stefano Tranquillini, Thiemo Voigt. 1357-1360 [doi]
- Engineering and verifying requirements for programmable self-assembling nanomachinesRobyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, Dalia Abo Sheasha. 1361-1364 [doi]
- Facilitating communication between engineers with CARESAnja Guzzi, Andrew Begel. 1367-1370 [doi]
- Interactive refinement of combinatorial test plansItai Segall, Rachel Tzoref-Brill. 1371-1374 [doi]
- TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutionsEd Keenan, Adam Czauderna, Greg Leach, Jane Cleland-Huang, Yonghee Shin, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jonathan I. Maletic, Jane Huffman Hayes, Alex Dekhtyar, Daria Manukian, Shervin Hossein, Derek Hearn. 1375-1378 [doi]
- Specification engineering and modular verification using a web-integrated verifying compilerCharles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman. 1379-1382 [doi]
- Writing dynamic service orchestrations with DSOLLeandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi. 1383-1386 [doi]
- MASH: A tool for end-user plug-in compositionLeonardo Mariani, Fabrizio Pastore. 1387-1390 [doi]
- BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applicationsHung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 1391-1394 [doi]
- MDSheet: A framework for model-driven spreadsheet engineeringJácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. 1395-1398 [doi]
- WorkItemExplorer: Visualizing software development tasks using an interactive exploration environmentChristoph Treude, Patrick Gorman, Lars Grammel, Margaret-Anne D. Storey. 1399-1402 [doi]
- Runtime monitoring of component changes with Spy@RuntimeCarlo Ghezzi, Andrea Mocci, Mario Sangiorgio. 1403-1406 [doi]
- GraPacc: A graph-based pattern-oriented, context-sensitive code completion toolAnh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 1407-1410 [doi]
- Code Bubbles: A practical working-set programming environmentSteven P. Reiss, Jared N. Bott, Joseph J. LaViola Jr.. 1411-1414 [doi]
- EVOSS: A tool for managing the evolution of free and open source software systemsDavide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio. 1415-1418 [doi]
- Supporting extract class refactoring in Eclipse: The ARIES projectGabriele Bavota, Andrea De Lucia, Andrian Marcus, Rocco Oliveto, Fabio Palomba. 1419-1422 [doi]
- EXSYST: Search-based GUI testingFlorian Gross, Gordon Fraser, Andreas Zeller. 1423-1426 [doi]
- JavaMOP: Efficient parametric runtime monitoring frameworkDongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu. 1427-1430 [doi]
- Augmenting test suites automaticallyKonstantin Rubinov, Jochen Wuttke. 1433-1434 [doi]
- Using the GPGPU for scaling up Mining Software RepositoriesRina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda. 1435-1436 [doi]
- FastFix: Monitoring control for remote software maintenanceDennis Pagano, Miguel A. Juan, Alessandra Bagnato, Tobias Roehm, Bernd Bruegge, Walid Maalej. 1437-1438 [doi]
- Modeling Cloud performance with KrigingAlessio Gambi, Giovanni Toffetti. 1439-1440 [doi]
- SOA adoption in the Italian industryMaurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza. 1441-1442 [doi]
- A bidirectional model-driven spreadsheet environmentJácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. 1443-1444 [doi]
- A self-healing technique for Java applicationsAntonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino. 1445-1446 [doi]
- When open source turns cold on innovation - The challenges of navigating licensing complexities in new research domainsChristopher Forbes, Iman Keivanloo, Juergen Rilling. 1447-1448 [doi]
- Language modularity with the MPS language workbenchMarkus Völter, Vaclav Pech. 1449-1450 [doi]
- Mining application repository to recommend XML configuration snippetsSheng Huang, Yiqi Lu, Yanghua Xiao, Wei Wang 0009. 1451-1452 [doi]
- Locating features in dynamically configured avionics softwareMaxime Ouellet, Ettore Merlo, Neset Sozen, Martin Gagnon. 1453-1454 [doi]
- Detecting metadata bugs on the flyMyoungkyu Song, Eli Tilevich. 1455-1456 [doi]
- BlazeJan-Peter Krämer, Joachim Kurz, Thorsten Karrer, Jan Borchers. 1457-1458 [doi]
- ConTexter feedback systemTristan Wehrmaker, Stefan Gärtner, Kurt Schneider. 1459-1460 [doi]
- xMapper: An architecture-implementation mapping toolYongjie Zheng, Richard N. Taylor. 1461-1462 [doi]
- ConcernReCS: Finding code smells in software aspectizationPericles Alves, Diogo Santana, Eduardo Figueiredo. 1463-1464 [doi]
- Egidio: A non-invasive approach for synthesizing organizational modelsSaulius Astromskis, Andrea Janes, Alireza Rezaei Mahdiraji. 1465-1466 [doi]
- SDiC: Context-based retrieval in EclipseBruno Antunes, Joel Cordeiro, Paulo Gomes. 1467-1468 [doi]
- An integrated bug processing frameworkXiangyu Zhang, Mengxiang Lin, Kai Yu. 1469-1470 [doi]
- Repository for Model Driven Development (ReMoDD)Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen. 1471-1472 [doi]
- Going global with agile service networksDamian Andrew Tamburri. 1475-1478 [doi]
- Using structural and semantic information to support software refactoringGabriele Bavota. 1479-1482 [doi]
- An approach to variability management in service-oriented product linesSedigheh Khoshnevis. 1483-1486 [doi]
- Using machine learning to enhance automated requirements model transformationErol-Valeriu Chioasca. 1487-1490 [doi]
- Security testing of web applications: A research planAndrea Avancini. 1491-1494 [doi]
- Application of Self-Adaptive techniques to federated authorization modelsChristopher Bailey. 1495-1498 [doi]
- Improving information retrieval-based concept location using contextual relationshipsTezcan Dilshener. 1499-1502 [doi]
- Effective specification of decision rights and accountabilities for better performing software engineering projectsMonde Kalumbilo. 1503-1506 [doi]
- Search based design of software product lines architecturesThelma Elita Colanzi. 1507-1510 [doi]
- Software fault localization based on program slicing spectrumWanzhi Wen. 1511-1514 [doi]
- Architectural task allocation in distributed environment: A traceability perspectiveSalma Imtiaz. 1515-1518 [doi]
- Using invariant relations in the termination analysis of while loopsWided Ghardallou. 1519-1522 [doi]
- Software regression as change of input partitioningMarcel Böhme. 1523-1526 [doi]
- A generic methodology to derive domain-specific performance feedback for developersDennis Westermann. 1527-1530 [doi]
- Towards the verification of multi-diagram UML modelsAlfredo Motta. 1531-1534 [doi]
- Documenting and sharing knowledge about codeAnja Guzzi. 1535-1538 [doi]
- Timely and efficient facilitation of coordination of software developers' activitiesKelly Blincoe. 1539-1542 [doi]
- Stack layout transformation: Towards diversity for securing binary programsBenjamin Rodes. 1543-1546 [doi]
- Synthesis of event-based controllers: A software engineering challengeNicolás D'Ippolito. 1547-1550 [doi]
- Empirically researching development of international softwareMalte Ressin. 1551-1554 [doi]
- Model translations among big-step modeling languagesFathiyeh Faghih. 1555-1558 [doi]
- HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavorsPedro Monteiro. 1559-1562 [doi]
- On the analysis of evolution of software artefacts and programsFehmi Jaafar. 1563-1566 [doi]
- Societal ComputingSwapneel Sheth. 1567-1570 [doi]
- Finding suitable programs: Semantic search with incomplete and lightweight specificationsKathryn T. Stolee. 1571-1574 [doi]
- Certification-based development of critical systemsPanayiotis Steele. 1575-1578 [doi]
- Testing and debugging UML models based on fUMLTanja Mayerhofer. 1579-1582 [doi]
- Bridging the divide between software developers and operators using logsWeiyi Shang. 1583-1586 [doi]
- The co-evolution of socio-technical structures in sustainable software development: Lessons from the open source software communitiesMarcelo Serrano Zanetti. 1587-1590 [doi]
- Log-based testingAlexander Elyasov. 1591-1594 [doi]
- Moving mobile applications between mobile devices seamlesslyVolker Schuchardt. 1595-1598 [doi]
- Timely detection of Coordination Requirements to support collaboration among software developersKelly Blincoe. 1601-1603 [doi]
- Improving failure-inducing changes identification using coverage analysisKai Yu. 1604-1606 [doi]
- A study on improving static analysis tools: Why are we not using them?Brittany Johnson. 1607-1609 [doi]
- Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiationsNupul Kukreja. 1610-1612 [doi]
- Using automatic static analysis to identify technical debtAntonio Vetro. 1613-1615 [doi]
- Coupled evolution of model-driven spreadsheetsJorge Mendes. 1616-1618 [doi]
- Managing evolution of software product lineCheng Thao. 1619-1621 [doi]
- Enabling dynamic metamodels through constraint-driven modeling Andreas Demuth. 1622-1624 [doi]
- Assisting end-user development in browser-based mashup toolsSoudip Roy Chowdhury. 1625-1627 [doi]
- Hot clones: Combining search-driven development, clone management, and code provenanceNiko Schwarz. 1628-1629 [doi]
- Capturing and exploiting fine-grained IDE interactionsZhongxian Gu. 1630-1631 [doi]
- Restructuring unit tests with TestSurgeonPablo Estefo. 1632-1634 [doi]
- A requirements-based approach for the design of adaptive systemsVítor Estêvão Silva Souza. 1635-1637 [doi]
- Petri nets state space analysis in the cloudMatteo Camilli. 1638-1640 [doi]
- Mining Java class identifier naming conventionsSimon Butler. 1641-1643 [doi]
- Online sharing and integration of results from mining software repositoriesIman Keivanloo. 1644-1646 [doi]
- Refounding software engineering: The Semat initiative (Invited presentation)Mira Kajko-Mattsson, Michael Striewe, Michael Goedicke, Ivar Jacobson, Ian Spence, Shihong Huang, Paul McMahon, Bruce MacIsaac, Brian Elvesæter, Arne J. Berre, Ed Seymour. 1649-1650 [doi]
- Summary of the ICSE 2012 workshopsAlessandro Orso, Ralf Reussner. 1651-1653 [doi]
- Summary of the ICSE 2012 tutorials and technical briefingsAndreas Leitner, Oscar Nierstrasz. 1654-1657 [doi]