Skip to Content

Technical papers

The program committee accepted the following 34 technical papers of 203 submissions (17%).

  • Naeem Esfahani, Ehsan Kouroshfar and Sam Malek. Taming Uncertainty in Self-Adaptive Software
  • Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer and Christian Kaestner. Semistructured Merge: Rethinking Merge in Revision Control Systems
  • Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe. ADDiff: Semantic Differencing for Activity Diagrams
  • Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha and Satish Chandra. Fault Localization for Data-Centric Programs
  • Jérôme Vouillon and Roberto Di Cosmo. On Software Component Co-Installability
  • Kunal Taneja, Mark Grechanik, Rayid Ghani and Tao Xie. Testing Software In Age Of Data Privacy: A Balancing Act
  • Fabian Beck and Stephan Diehl. On the Congruence of Modularity and Code Coupling
  • Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman and Sara Navidpour. Proving Programs Robust
  • Lian Li, Cristina Cifuentes and Nathan Keynes. Boosting the Performance of Flow-sensitive Points-to Analysis using Value Flow
  • Dawei Qi, Hoang D.T. Nguyen and Abhik Roychoudhury. Path Exploration based on Symbolic Output
  • Stelios Sidiroglou, Sasa Misailovic, Hank Hoffman and Martin Rinard. Managing Performance vs. Accuracy Trade-offs With Loop Perforation
  • Simon Holm Jensen, Magnus Madsen and Anders Møller. Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications
  • Francis Palma, Angelo Susi and Paolo Tonella. Using an SMT Solver for Interactive Requirements Prioritization
  • Mark Harman, Yue Jia and William Langdon. Strong Higher Order Mutation-Based Test Data Generation
  • Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan and Michael D. Ernst. Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models
  • Emad Shihab, Audris Mockus, Yasutaka Kamei, Bram Adams and Ahmed E. Hassan. High-Impact Defects: A Study of Breakage and Surprise Defects
  • Shoham Ben-David, Marsha Chechik, Arie Gurfinkel and Sebastian Uchitel. CSSL: A Logic for Specifying Conditional Scenarios
  • Brian Hackett and Alex Aiken. Inferring Data Polymorphism in Systems Code
  • Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy and Lakshmi Bairavasundaram. How Do Fixes Become Bugs? -- A Comprehensive Characteristic Study on Incorrect Fixes in Commercial and Open Source Operating Systems
  • Corey Jergensen, Anita Sarma and Patrick Wagstrom. The Onion Patch: Migration in Open Source Ecosystems
  • Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna and Jian Lu. Version-consistent Dynamic Reconfiguration of Component-based Distributed Systems
  • Andrew Meneely, Pete Rotella and Laurie Williams. Does Adding Manpower Also Affect Quality? An Empirical, Longitudinal Analysis
  • Ahmed Tamrawi, Tung Nguyen, Jafar Al-Kofahi and Tien Nguyen. Fuzzy Set and Cache-based Approach for Bug Triaging
  • Christoph Treude and Margaret-Anne Storey. Effective Communication of Software Development Knowledge Through Community Portals
  • Alvin Cheung, Armando Solar-Lezama and Sam Madden. Partial Replay of Long-Running Applications
  • Christian Bird, Nachiappan Nagappan, Brendan Murphy, Harald Gall and Premkumar Devanbu. Don't Touch My Code! Examining the Effects of Ownership on Software Quality
  • Rongxin Wu, Hongyu Zhang, Sunghun Kim and Shing-Chi Cheung. ReLink: Recovering Links between Bugs and Changes
  • Taek Lee, Jaechang Nam, Donggyun Han, Sunghun Kim and Hoh Peter In. Micro Interaction Metrics for Defect Prediction
  • Evan Driscoll, Amanda Burton and Thomas Reps. Checking Conformance of a Producer and a Consumer
  • George Baah, Andy Podgurski and Mary Jean Harrold. Mitigating the Confounding Effects of Program Dependences for Effective Fault Localization
  • Foyzur Rahman, Daryl Posnett, Abram Hindle, Earl Barr and Premkumar Devanbu. BugCache for Inspections : Hit or Miss?
  • Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu and Darko Marinov. Improved Multithreaded Unit Testing
  • Yuriy Brun, Reid Holmes, Michael Ernst and David Notkin. Proactive Detection of Collaboration Conflicts
  • Rishabh Singh and Armando Solar-Lezama. Synthesizing Data Structure Manipulations from Data Structure Configurations