Accepted Research Papers

  • Vivek Nair ,Tim Menzies Norbert Siegmund, Sven Apel : Using Bad Learners to find Good Configurations
  • Aviv Kuvent , Shahar Maoz , Jan Oliver Ringert : A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications
  • Loris D'Antoni , Rishabh Singh , Michael Vaughn : NoFAQ: Synthesizing Command Repairs from Examples
  • Yu Guo , Yan Cai , Zijiang Yang : AtexRace: Across Thread and Execution Sampling for In-house Race Detection
  • Markus Kusano , Chao Wang : Thread-Modular Static Analysis for Relaxed Memory Models
  • Reyhaneh Jabbarvand , Sam Malek : µDroid: An Energy-Aware Mutation Testing Framework for Android
  • Shengjian Guo , Meng Wu , Chao Wang : Symbolic Execution of Programmable Logic Controller Code
  • Marco Tulio Valente , Jailton Coelho : Why Modern Open Source Projects Fail
  • Martina Maggio , Alessandro Vittorio Papadopoulos , Antonio Filieri , Henry Hoffmann : Automated Control of Multiple Software Goals using Multiple Actuators
  • Rohit Sinha , Sriram Rajamani , Sanjit A. Seshia : A Compiler and Verifier for Page Access Oblivious Computation
  • Kostas Ferles , Valentin Wüstholz , Maria Christakis , Isil Dillig : Failure-Directed Program Trimming
  • Alireza Sadeghi , Reyhaneh Jabbarvand , Sam Malek : PATDroid: Permission-Aware GUI Testing of Android
  • Norbert Siegmund , Stefan Sobernig , Sven Apel : Attributed Variability Models: Outside the Comfort Zone
  • Alexander Knüppel , Thomas Thüm , Stephan Mennicke , Jens Meinicke , Ina Schaefer : Is There a Mismatch Between Real-World Feature Models and Product-Line Research?
  • Fan Long , Peter Amidon , Martin Rinard : Automatic Inference of Code Transforms for Patch Generation Systems
  • Adarsh Yoga , Santosh Nagarakatte : A Fast Causal Profiler for Task Parallel Programs
  • Marcel Böhme , Ezekiel O. Soremekun , Sudipta Chattopadhyay , Emamurho Ugherughe , Andreas Zeller : Where is the Bug and How is it Fixed? An Experiment with Practitioners.
  • Wei Fu , Tim Menzies : Easy over Hard: A Case Study on Deep Learning
  • Wei Fu , Tim Menzies : Revisiting Unsupervised Learning for Defect Prediction
  • Song Wang , Jaechang Nam , Lin Tan : QTEP: Quality-aware Test Case Prioritization
  • Xie Xiaofei , Bihuan Chen , Liang Zou , Shang-Wei Lin , Yang Liu , Xiaohong Li : Loopster: Static Loop Termination Analysis
  • Jooyong Yi , Umair Ahmed , Amey Karkare , Shin Hwei Tan , Abhik Roychoudhury : A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
  • Sahil Verma , Subhajit Roy : Synergistic Debug-Repair of Heap Manipulations
  • Dan Gopstein, Jake Iannacone, Yu Yan, Lois Anne Delong, Yanyan Zhuang, Martin K.-C. Yeh, Justin Cappos : Understanding Misunderstandings in Source Code
  • Tyler Sorensen, Hugues Evrard, Alastair Donaldson : Cooperative Kernels: GPU Multitasking for Blocking Algorithms
  • Tingting Yu, Tarannum Shaila Zaman, Chao Wang : DESCRY: Reproducing System-level Concurrency Failures
  • Rabe Abdalkareem, Olivier Nourry, Sultan Wehaibi, Suhaib Mujahid, Emad Shihab : Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
  • Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, Danny Dig : Trade-offs in Continuous Integration: Assurance, Security, and Flexibility
  • Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, Patrick McDaniel : Cimplifier: Automatically Debloating Containers
  • Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi : "The Power of ""Why"" and ""Why Not"": Enriching Scenario Exploration with Provenance"
  • Jeho Oh, Don Batory, Margaret Myers, Norbert Siegmund : Finding Product Line Configurations with High Performance by Random Sampling
  • Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, Lin Tan : Better Test Cases for Better Automated Program Repair
  • Mario Linares-Vásquez, Gabriele Bavota, Michele Tufano, Kevin Moran, Massimiliano Di Penta, Christopher Vendome, Carlos Bernal-Cárdenas, Denys Poshyvanyk : Enabling Mutation Testing for Android Apps
  • Sainyam Galhotra, Yuriy Brun, Alexandra Meliou : Fairness Testing: Testing Software for Discrimination
  • Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel : Model-level, Platform-independent Debugging in the Context of the Model-driven Development of Real-time Systems
  • Calvin Smith, Gabriel Ferns, Aws Albarghouthi : Discovering Relational Specifications
  • David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas Reps : The Care and Feeding of Wild-Caught Mutants
  • Paul Gazzillo : MAIC: Makefile Abstract Interpretation for Configurations
  • Vijayaraghavan Murali, Swarat Chaudhuri, Christopher Jermaine : Finding Likely Errors with Bayesian Specifications
  • Oscar Chaparro, Jing Lu, Fiorella Zampetti, Laura Moreno, Massimiliano Di Penta, Andrian Marcus, Gabriele Bavota, Vincent Ng : Detecting Missing Information in Bug Descriptions
  • Minghui Zhou, Qingying Chen, Audris Mockus, Fengguang Wu : On Scalability of Linux Kernel Maintainer’s Work
  • Adriaan Labuschagne, Laura Inozemtseva, Reid Holmes : Measuring the cost of regression testing in practice: A study of Java projects using continuous integration.
  • Bogdan Vasilescu, Casey Casalnuovo, Prem Devanbu : Recovering clear, natural identifiers from obfuscated names
  • Vincent Hellendoorn, Premkumar Devanbu : Are Deep Learning models the best for Source Code?
  • Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, Xiangyu Zhang : LAMP: Data Provenance for Graph Based Machine Learning Algorithms Through Derivative Computation
  • Francesco Adalberto Bianchi, Mauro Pezzè, Valerio Terragni : Reproducing Concurrency Failures From Crash Stacks
  • Lee Martie, Andre van der Hoek, Thomas Kwak : Understanding the Impact of Support for Iteration on Code Search
  • Lili Wei, Yepang Liu, Shing-Chi Cheung : OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
  • Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu : Steelix: Program-State Based Binary Fuzzing
  • Fabrizio Pastore, Leonardo Mariani, Daniela Micucci : BDCI: Behavioral Driven Continuous Integration
  • Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su : Guided, Stochastic Model-Based GUI Testing of Android Apps
  • Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi : Modeling and Verification of Evolving Cyber-Physical Spaces
  • Yuchi Tian, Baishakhi Ray : Automatically Diagnosing and Repairing Error Handling Bugs in C
  • Yamilet Serrano, Guoxin Su, David S. Rosenblum : Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
  • Hadi Zibaeenejad, Chi Zhang, Joanne Atlee : Continuous Variable-Specific Resolutions of Feature Interactions
  • Tegan Brennan, Nestan Tsiskaridze, Nicolas Rosner, Abdulbaki Aydin, Tevfik Bultan : Constraint Normalization and Parameterized Caching for Quantitative Program Analysis
  • Nicolas Gold, David Binkley, Mark Harman, Syed Islam, Jens Krinke, Shin Yoo : Generalized Observational Slicing for Tree-Represented Modelling Languages
  • Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, Mira Mezini : CodeMatch: Obfuscation Won't Conceal Your Repackaged App
  • Marco Castelluccio, Carlo Sansone, Luisa Verdoliva, Giovanni Poggi : Automatically analyzing groups of crashes for finding correlations
  • Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski : Craig vs. Newton in Software Model Checking
  • Dalal Alrajeh, Liliana Pasquale, Bashar Nuseibeh : On Evidence Preservation Requirements for Forensic-ready Systems
  • Le Dinh Xuan Bach, Duc Hiep Chu, David Lo, Claire Le Goues, Willem Visser : S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples