Vivek Nair
,Tim Menzies
Norbert Siegmund,
Sven Apel
: Using Bad Learners to find Good Configurations
Yan Cai
, Lingwei Cao
, Jing Zhao
: Adaptively Generating High Quality Fixes for Atomicity Violations
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
Diego Cedrim
, Alessandro Garcia
, Melina Mongiovi
, Rohit Gheyi
, Leonardo Sousa
, Rafael de Mello
, Baldoino Fonseca
, Márcio Ribeiro
, Alexander Chávez
: Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects.
Xie Xiaofei
, Bihuan Chen
, Liang Zou
, Shang-Wei Lin
, Yang Liu
, Xiaohong Li
: Loopster: Static Loop Termination Analysis
Diego Garbervetsky
, Edgardo J. Zoppi
, Benjamin Livshits
: Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph 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
Rabe Abdalkareem,
Olivier Nourry,
Sultan Wehaibi,
Suhaib Mujahid,
Emad Shihab : Why Do Developers Use Trivial Packages? An Empirical Case Study on npm
Janet Siegmund,
Norman Peitek,
Chris Parnin,
Sven Apel,
Johannes Hofmeister,
Christian Kästner,
Andrew Begel,
Anja Bethmann,
Andre Brechmann : Measuring Neural Efficiency of Program Comprehension
Stelios Sidiroglou,
Eric Lahtinen,
Fan Long,
Martin Rinard,
Anthony Eden : CodeCarbonCopy
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
Georg Dotzler,
Marius Kamp,
Patrick Kreutzer,
Michael Philippsen : More Accurate Recommendations for Method-Level Changes
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
Thanhvu Nguyen,
Timos Antonopoulos,
Andrew Ruef,
Michael Hicks : Counterexample-guided Approach to Finding Numerical Invariants
Maryam Raiyat Aliabadi,
Amita Ajith Kamath,
Julien Gascon-Samson,
Karthik Pattabiraman : ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
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
Joshua Garcia,
Mahmoud Hammad,
Negar Ghorbani,
Sam Malek : Automatic Generation of Inter-Component Communication Exploits for Android Applications
Minghui Zhou,
Qingying Chen,
Audris Mockus,
Fengguang Wu : On Scalability of Linux Kernel Maintainers Work
Adriaan Labuschagne,
Laura Inozemtseva,
Reid Holmes : Measuring the cost of regression testing in practice: A study of Java projects using continuous integration.
Ahmet Celik,
Marko Vasic,
Aleksandar Milicevic,
Milos Gligoric : Regression Test Selection Across JVM Boundaries
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