Research Papers

The Research Track will take place in the HeinzNixdorf MuseumsForum HNF (see map).



Wednesday, September 6, 2017
Evolution and Maintenance (Research Papers)
11:00 – 12:30, Auditorium, Chair: Ivica Crnkovic
Program Analysis I (Research Papers)
11:00 – 12:30, S1+2, Chair: Sebastian Elbaum
Machine Learning (Research Papers)
11:00 – 12:30, S3, Chair: Arosha Bandara
Towards Prioritizing Documentation Effort
Paul W. McBurney, Siyuan Jiang, Marouane Kessentini, Nicholas A. Kraft, Ameer Armaly, Wiem Mkaouer, and Collin McMillan
(University of Pennsylvania, USA; University of Notre Dame, USA; University of Michigan, USA; ABB Corporate Research, USA)
Publisher's Version Preprint
Loopster: Static Loop Termination Analysis
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, and Xiaohong Li
(Tianjin University, China; Nanyang Technological University, Singapore)
Publisher's Version
Easy over Hard: A Case Study on Deep Learning
(North Carolina State University, USA)
Publisher's Version Preprint
A Fast Causal Profiler for Task Parallel Programs
Adarsh Yoga and Santosh Nagarakatte
(Rutgers University, USA)
Publisher's Version Preprint Artifacts Available Artifacts Functional
CodeCarbonCopy
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
(Massachusetts Institute of Technology, USA)
Publisher's Version
Finding Near-Optimal Configurations in Product Lines by Random Sampling
Jeho Oh, Don Batory, Margaret Myers, and Norbert Siegmund
(University of Texas at Austin, USA; Bauhaus-University Weimar, Germany)
Publisher's Version Preprint
On the Scalability of Linux Kernel Maintainers' Work
Minghui Zhou, Qingying Chen, Audris Mockus, and Fengguang Wu
(Peking University, China; University of Tennessee, USA; Intel, China)
Publisher's Version Preprint Info
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, and Ansuman Banerjee
(NIT Meghalaya, India; Jadavpur University, India; Indian Statistical Institute, India)
Publisher's Version Preprint
Automatic Software Refactoring via Weighted Clustering in Method-level Networks
Ying Wang, Hai Yu, Zhi-Liang Zhu, Wei Zhang, and Yu-Li Zhao
(Northeastern University, China)
Publisher's Version Preprint Video
Modeling and Verification of Evolving Cyber-Physical Spaces
(Politecnico di Milano, Italy)
Publisher's Version
The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance
Tim Nelson, Natasha Danas, Daniel J. Dougherty, and Shriram Krishnamurthi
(Brown University, USA; Worcester Polytechnic Institute, USA)
Best-Paper Award
Publisher's Version Info Artifacts Reusable
Revisiting Unsupervised Learning for Defect Prediction
(North Carolina State University, USA)
Publisher's Version Preprint


Human Aspects (Research Papers)
14:00 – 15:30, Auditorium, Chair: Jo Attle
Process (Research Papers)
14:00 – 15:30, S1+2, Chair: Martina Maggio
Handling Failures (Research Papers)
14:00 – 15:30, S3, Chair: Fabrizio Pastore
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
(National University of Singapore, Singapore; Saarland University, Germany; Singapore University of Technology and Design, Singapore; SAP, Germany)
Publisher's Version Preprint Info Artifacts Reusable
Why Modern Open Source Projects Fail
(Federal University of Minas Gerais, Brazil)
Publisher's Version Preprint
Bayesian Specification Learning for Finding API Usage Errors
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine
(Rice University, USA)
Publisher's Version
Understanding Misunderstandings in Source Code
Dan Gopstein, Jake Iannacone, Yu Yan, Lois DeLong, Yanyan Zhuang, Martin K.-C. Yeh, and Justin Cappos
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
Best-Paper Award
Publisher's Version Preprint Info
Predicting Delivery Capability in Iterative Software Development
Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Aditya Ghose, and John Grundy
(University of Wollongong, Australia; Deakin University, Australia)
Publisher's Version Preprint
Are delayed issues harder to resolve? Revisiting cost-to-fix of defects throughout the lifecycle
Tim Menzies, William Nichols, Forrest Shull, and Lucas Layman
(North Carolina State University, USA; Software Engineering Institute, USA; Fraunhofer CESE, USA)
Publisher's Version Preprint
Measuring Neural Efficiency of Program Comprehension
Janet Siegmund, Norman Peitek, Chris Parnin, Sven Apel, Johannes Hofmeister, Christian Kästner, Andrew Begel, Anja Bethmann, and André Brechmann
(University of Passau, Germany; Leibniz Institute for Neurobiology, Germany; North Carolina State University, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
Publisher's Version Preprint Info
Identifying self-admitted technical debt in open source projects using texting mining
Qiao Huang, Emad Shihab, Xin Xia, David Lo, and Shanping Li
(Zhejiang University, China; Concordia University, Canada; University of British Columbia, Canada; Singapore Management University, Singapore)
Publisher's Version Preprint
Synergistic Debug-Repair of Heap Manipulations
Sahil Verma and Subhajit Roy
(IIT Kanpur, India)
Publisher's Version
The Work Life of Developers: Activities, Switches and Perceived Productivity
(University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA)
Publisher's Version Preprint
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
Best-Paper Award
Publisher's Version Preprint Info
Failure-Directed Program Trimming
(University of Texas at Austin, USA; University of Kent, UK)
Publisher's Version Preprint


Testing Mobile Apps (Research Papers)
16:00 – 17:30, Auditorium, Chair: Cor-Paul Bezemer
Variability Analysis (Research Papers)
16:00 – 17:30, S1+2, Chair: Andreas Zeller
Concurrency (Research Papers)
16:00 – 17:30, S3, Chair: Dalal Alrajeh
µDroid: An Energy-Aware Mutation Testing Framework for Android
(University of California at Irvine, USA)
Publisher's Version Preprint
Using Bad Learners to Find Good Configurations
(North Carolina State University, USA; Bauhaus-University Weimar, Germany; University of Passau, Germany)
Publisher's Version Preprint
Adaptively Generating High Quality Fixes for Atomicity Violations
Yan Cai, Lingwei Cao, and Jing Zhao
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Harbin Engineering University, China)
Publisher's Version
PATDroid: Permission-Aware GUI Testing of Android
(University of California at Irvine, USA)
Publisher's Version Preprint Info Artifacts Functional
Attributed Variability Models: Outside the Comfort Zone
(Bauhaus-University Weimar, Germany; WU Vienna, Austria; University of Passau, Germany)
Publisher's Version Preprint Info
AtexRace: Across Thread and Execution Sampling for In-House Race Detection
(Western Michigan University, USA; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version
Enabling Mutation Testing for Android Apps
(Universidad de los Andes, Colombia; University of Lugano, Switzerland; College of William and Mary, USA; University of Sannio, Italy)
Publisher's Version Preprint Info
Kmax: Finding All Configurations of Kbuild Makefiles Statically
(Yale University, USA)
Publisher's Version Preprint Info
Symbolic Execution of Programmable Logic Controller Code
Shengjian Guo, Meng Wu, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version Preprint
Guided, Stochastic Model-Based GUI Testing of Android Apps
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su
(East China Normal University, China; Nanyang Technological University, Singapore; Shanghai Jiao Tong University, China; University of California at Davis, USA)
Publisher's Version Preprint
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer
(TU Braunschweig, Germany; University of Magdeburg, Germany)
Publisher's Version Preprint Info Artifacts Reusable
Thread-Modular Static Analysis for Relaxed Memory Models
Markus Kusano and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version Preprint


Thursday, September 7, 2017
Reactive Systems and Control Theory (Research Papers)
10:30 – 12:00, Auditorium, Chair: Luciano Baresi
Empirical Studies (Research Papers)
10:30 – 12:00, S1+2, Chair: David Rosenblum
Modeling (Research Papers)
10:30 – 12:00, S3, Chair: Tim Menzies
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Maryam Raiyat Aliabadi, Amita Ajith Kamath, Julien Gascon-Samson, and Karthik Pattabiraman
(University of British Columbia, Canada; National Institute of Technology Karnataka, India)
Publisher's Version Preprint
Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
(Concordia University, Canada)
Publisher's Version Preprint
Continuous Variable-Specific Resolutions of Feature Interactions
M. Hadi Zibaeenejad, Chi Zhang, and Joanne M. Atlee
(University of Waterloo, Canada)
Publisher's Version Info
A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications
(Tel Aviv University, Israel)
Publisher's Version Preprint Info
On the pragmatic design of literature studies in software engineering: an experience-based guideline
Marco Kuhrmann, Daniel Méndez Fernández, and Maya Daneva
(University of Southern Denmark, Denmark; TU Munich, Germany; University of Twente, Netherlands)
Publisher's Version Preprint
Model Transformation Modularization as a Many-Objective Optimization Problem
Martin Fleck, Javier Troya, Marouane Kessentini, Manuel Wimmer, and Bader Alkhazi
(Vienna University of Technology, Austria; University of Seville, Spain; University of Michigan, USA)
Publisher's Version Preprint
Control-Theoretical Software Adaptation: A Systematic Literature Review
Stepan Shevtsov, Mihaly Berekmeri, Danny Weyns, and Martina Maggio
(Linnaeus University, Sweden; Grenoble INP, France; KU Leuven, Belgium; Lund University, Sweden)
Publisher's Version Preprint
Detecting Missing Information in Bug Descriptions
Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, and Vincent Ng
(University of Texas at Dallas, USA; University of Sannio, Italy; Colorado State University, USA; University of Lugano, Switzerland)
Publisher's Version Preprint
A Templating System to Generate Provenance
Luc Moreau, Belfrit Victor Batlajery, Trung Dong Huynh, Danius Michaelides, and Heather Packer
(University of Southampton, UK)
Publisher's Version Preprint Info
Automated Control of Multiple Software Goals using Multiple Actuators
(Lund University, Sweden; Mälardalen University, Sweden; Imperial College London, UK; University of Chicago, USA)
Publisher's Version Preprint Info
An empirical study of unspecified dependencies in make-based build systems
Cor-Paul Bezemer, Shane McIntosh, Bram Adams, Daniel M. German, and Ahmed E. Hassan
(Queen's University, Canada; McGill University, Canada; Polytechnique Montréal, Canada; University of Victoria, Canada)
Publisher's Version Preprint
Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems
(Queen's University, Canada)
Publisher's Version Preprint Video Info Artifacts Functional


Distributed Systems (Research Papers)
14:00 – 15:30, Auditorium, Chair: Stelios Sidirogiou-Doukos
Testing I (Research Papers)
14:00 – 15:30, S1+2, Chair: Gregg Rothermel
Refactoring (Research Papers)
14:00 – 15:30, S3, Chair: Premkumar Devambu
Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Tyler Sorensen, Hugues Evrard, and Alastair F. Donaldson
(Imperial College London, UK)
Best-Paper Award
Publisher's Version Preprint
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
Publisher's Version
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
Publisher's Version Info
A Qualitative Study of Application-level Caching
(Federal University of Rio Grande do Sul, Brazil; TU Dortmund, Germany)
Publisher's Version Preprint Info
Fairness Testing: Testing Software for Discrimination
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
Best-Paper Award
Publisher's Version Preprint Info
Detecting overly strong preconditions in refactoring engines
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, and Leopoldo Teixeira
(Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil; Federal University of Pernambuco, Brazil)
Publisher's Version
Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis
(University of Buenos Aires, Argentina; Imperial College London, UK)
Publisher's Version Preprint
The Care and Feeding of Wild-Caught Mutants
(University of Wisconsin-Madison, USA)
Publisher's Version Preprint Video Info Artifacts Reusable
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
Publisher's Version Preprint
Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
(National University of Singapore, Singapore; University of Wollongong, Australia)
Publisher's Version
QTEP: Quality-Aware Test Case Prioritization
(University of Waterloo, Canada)
Publisher's Version Preprint Info
Identifying Extract Method Refactoring Opportunities based on Functional Relevance
Sofia Charalampidou, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Antonios Gkortzis, and Paris Avgeriou
(University of Groningen, Netherlands; University of Macedonia, Greece)
Publisher's Version Preprint


Program Analysis II (Research Papers)
16:00 – 17:30, Auditorium, Chair: Mary Lou Soffa
Specification Mining and Synthesis (Research Papers)
16:00 – 17:30, S1+2, Chair: Sven Apel
Requirements (Research Papers)
16:00 – 17:30, S3, Chair: Natalia Juristo
Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
Publisher's Version Preprint Info Artifacts Reusable
NoFAQ: Synthesizing Command Repairs from Examples
Loris D'Antoni, Rishabh Singh, and Michael Vaughn
(University of Wisconsin-Madison, USA; Microsoft Research, USA)
Publisher's Version Preprint
On Evidence Preservation Requirements for Forensic-Ready Systems
Dalal Alrajeh, Liliana Pasquale, and Bashar Nuseibeh
(Imperial College London, UK; University College Dublin, Ireland; Open University, UK; Lero, Ireland)
Publisher's Version Preprint
Generalized Observational Slicing for Tree-Represented Modelling Languages
Nicolas E. Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(University College London, UK; Loyola University Maryland, USA; University of East London, UK; KAIST, South Korea)
Publisher's Version Preprint
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
(Singapore Management University, Singapore; IST Austria, Austria; Carnegie Mellon University, USA; Stellenbosch University, South Africa)
Publisher's Version
BDCI: Behavioral Driven Conflict Identification
(University of Milano-Bicocca, Italy)
Publisher's Version Preprint Info Artifacts Functional
Implementing and Evaluating Candidate-Based Invariant Generation
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, and Jeroen Ketema
(Imperial College London, UK)
Publisher's Version Preprint
Counterexample-Guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, and Michael Hicks
(University of Nebraska-Lincoln, USA; Yale University, USA; University of Maryland, USA)
Publisher's Version Preprint
Complete and Interpretable Conformance Checking of Business Processes
Luciano García-Bañuelos, Nick R. T. P. van Beest, Marlon Dumas, Marcello La Rosa, and Willem Mertens
(University of Tartu, Estonia; Data61 at CSIRO, Australia; Queensland University of Technology, Australia)
Publisher's Version Preprint Info
Discovering Relational Specifications
Calvin Smith, Gabriel Ferns, and Aws Albarghouthi
(University of Wisconsin-Madison, USA)
Best-Paper Award
Publisher's Version


Friday, September 8, 2017
Software Security (Research Papers)
11:00 – 12:30, Auditorium, Chair: Liliana Pasquale
Mobile Applications (Research Papers)
11:00 – 12:30, S1+2, Chair: Lars Grunske
Crash Analysis (Research Papers)
11:00 – 12:30, S3, Chair: Dirk Beyer
Steelix: Program-State Based Binary Fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, and Alwen Tiu
(Nanyang Technological University, Singapore; Fudan University, China)
Publisher's Version
Open innovation using open source tools: a case study at Sony Mobile
Hussan Munir, Johan Linåker, Krzysztof Wnuk, Per Runeson, and Björn Regnell
(Lund University, Sweden; Blekinge Institute of Technology, Sweden)
Publisher's Version Preprint
DESCRY: Reproducing System-Level Concurrency Failures
Tingting Yu, Tarannum S. Zaman, and Chao Wang
(University of Kentucky, USA; University of Southern California, USA)
Publisher's Version
Do developers update their library dependencies? An empirical study on the impact of security advisories on library migration
Raula Gaikovina Kula, Daniel M. German, Ali Ouni, Takashi Ishio, and Katsuro Inoue
(Nara Institute of Science and Technology, Japan; Osaka University, Japan; University of Victoria, Canada; UAE University, United Arab Emirates)
Publisher's Version Preprint
Automatic Generation of Inter-Component Communication Exploits for Android Applications
(University of California at Irvine, USA)
Publisher's Version Preprint Info
Reproducing Concurrency Failures from Crash Stacks
(University of Lugano, Switzerland)
Publisher's Version Preprint
CodeMatch: Obfuscation Won't Conceal Your Repackaged App
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Preprint Info
OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
(Hong Kong University of Science and Technology, China)
Publisher's Version Preprint
Automatically Analyzing Groups of Crashes for Finding Correlations
Marco Castelluccio, Carlo Sansone, Luisa Verdoliva, and Giovanni Poggi
(Federico II University of Naples, Italy; Mozilla, UK)
Publisher's Version
A Compiler and Verifier for Page Access Oblivious Computation
Rohit Sinha, Sriram Rajamani, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, India)
Publisher's Version
Recovering Clear, Natural Identifiers from Obfuscated JS Names
Bogdan Vasilescu, Casey Casalnuovo, and Premkumar Devanbu
(Carnegie Mellon University, USA; University of California at Davis, USA)
Publisher's Version Preprint
What do developers search for on the web?
Xin Xia, Lingfeng Bao, David Lo, Pavneet Singh Kochhar, Ahmed E. Hassan, and Zhenchang Xing
(Zhejiang University, China; University of British Columbia, Canada; Singapore Management University, Singapore; Queen's University, Canada; Australian National University, Australia)
Publisher's Version Preprint


Program Repair (Research Papers)
14:00 – 15:30, Auditorium, Chair: Alessandro Garcia
Program Comprehension (Research Papers)
14:00 – 15:30, S1+2, Chair: Sam Malek
Testing II (Research Papers)
14:00 – 15:30, S3, Chair: Satish Chandra
Automatic Inference of Code Transforms for Patch Generation
Fan Long, Peter Amidon, and Martin Rinard
(Massachusetts Institute of Technology, USA; University of California at San Diego, USA)
Publisher's Version Info Artifacts Functional
Are Deep Neural Networks the Best Choice for Modeling Source Code?
(University of California at Davis, USA)
Publisher's Version Preprint Info
Regression Test Selection Across JVM Boundaries
(University of Texas at Austin, USA; Microsoft, USA)
Publisher's Version
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
(Innopolis University, Russia; IIT Kanpur, India; National University of Singapore, Singapore)
Publisher's Version Preprint Info Artifacts Functional
Understanding the Impact of Support for Iteration on Code Search
(University of California at Irvine, USA)
Publisher's Version Preprint
Measuring the Cost of Regression Testing in Practice: A Study of Java Projects using Continuous Integration
Adriaan Labuschagne, Laura Inozemtseva, and Reid Holmes
(University of Waterloo, Canada; University of British Columbia, Canada)
Publisher's Version Preprint Info
Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset
Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan, and Martin Monperrus
(University of Valenciennes, Fance; University of Lille, France; Inria, France; Wuhan University, China)
Publisher's Version
LAMP: Data Provenance for Graph Based Machine Learning Algorithms through Derivative Computation
Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, and Xiangyu Zhang
(Purdue University, USA; Nanjing University, China)
Publisher's Version Preprint
A Survey of Recent Trends in Testing Concurrent Software Systems
Francesco A. Bianchi, Alessandro Margara, and Mauro Pezzè
(University of Lugano, Switzerland)
Publisher's Version Preprint
Automatically Diagnosing and Repairing Error Handling Bugs in C
(University of Virginia, USA)
Best-Paper Award
Publisher's Version Preprint
More Accurate Recommendations for Method-Level Changes
Georg Dotzler, Marius Kamp, Patrick Kreutzer, and Michael Philippsen
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
Publisher's Version Preprint Info
Better Test Cases for Better Automated Program Repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, and Lin Tan
(University of Waterloo, Canada)
Publisher's Version Preprint