Research Papers
The Research Track will take place in the HeinzNixdorf MuseumsForum HNF (see map).
Wednesday, September 6, 2017
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
(Rice University, USA)
Publisher's Version
|
Understanding Misunderstandings in Source Code
(New York University, USA; Pennsylvania State University, USA; University of Colorado at Colorado Springs, USA)
Best-Paper AwardPublisher's Version Preprint Info |
Predicting Delivery Capability in Iterative Software Development
(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
(North Carolina State University, USA; Software Engineering Institute, USA; Fraunhofer CESE, USA)
Publisher's Version
Preprint
|
Measuring Neural Efficiency of Program Comprehension
(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
(Zhejiang University, China; Concordia University, Canada; University of British Columbia, Canada; Singapore Management University, Singapore)
Publisher's Version
Preprint
|
|
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 AwardPublisher'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
(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
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version
Preprint
|
Guided, Stochastic Model-Based GUI Testing of Android Apps
(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?
(TU Braunschweig, Germany; University of Magdeburg, Germany)
Publisher's Version
Preprint
Info
Artifacts Reusable
|
Thread-Modular Static Analysis for Relaxed Memory Models
(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
(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
(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
(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
(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
(Linnaeus University, Sweden; Grenoble INP, France; KU Leuven, Belgium; Lund University, Sweden)
Publisher's Version
Preprint
|
Detecting Missing Information in Bug Descriptions
(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
(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
(Queen's University, Canada; McGill University, Canada; Polytechnique Montréal, Canada; University of Victoria, Canada)
Publisher's Version
Preprint
|
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
(Imperial College London, UK)
Best-Paper AwardPublisher's Version Preprint |
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
(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
(University of Massachusetts at Amherst, USA)
Best-Paper AwardPublisher's Version Preprint Info |
Detecting overly strong preconditions in refactoring engines
(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
(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
(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
(University of California at Santa Barbara, USA)
Publisher's Version
Preprint
Info
Artifacts Reusable
|
NoFAQ: Synthesizing Command Repairs from Examples
(University of Wisconsin-Madison, USA; Microsoft Research, USA)
Publisher's Version
Preprint
|
On Evidence Preservation Requirements for Forensic-Ready Systems
(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
(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
(Imperial College London, UK)
Publisher's Version
Preprint
|
Counterexample-Guided Approach to Finding Numerical Invariants
(University of Nebraska-Lincoln, USA; Yale University, USA; University of Maryland, USA)
Publisher's Version
Preprint
|
Complete and Interpretable Conformance Checking of Business Processes
(University of Tartu, Estonia; Data61 at CSIRO, Australia; Queensland University of Technology, Australia)
Publisher's Version
Preprint
Info
|
Discovering Relational Specifications
(University of Wisconsin-Madison, USA)
Best-Paper AwardPublisher'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
(Nanyang Technological University, Singapore; Fudan University, China)
Publisher's Version
|
Open innovation using open source tools: a case study at Sony Mobile
(Lund University, Sweden; Blekinge Institute of Technology, Sweden)
Publisher's Version
Preprint
|
DESCRY: Reproducing System-Level Concurrency Failures
(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
(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
(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
(Federico II University of Naples, Italy; Mozilla, UK)
Publisher's Version
|
A Compiler and Verifier for Page Access Oblivious Computation
(University of California at Berkeley, USA; Microsoft Research, India)
Publisher's Version
|
Recovering Clear, Natural Identifiers from Obfuscated JS Names
(Carnegie Mellon University, USA; University of California at Davis, USA)
Publisher's Version
Preprint
|
What do developers search for on the web?
(Zhejiang University, China; University of British Columbia, Canada; Singapore Management University, Singapore; Queen's University, Canada; Australian National University, Australia)
Publisher's Version
Preprint
|