27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
Powered by
Conference Publishing Consulting

27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019), August 26–30, 2019, Tallinn, Estonia

ESEC/FSE 2019 – Preliminary Table of Contents

Contents - Abstracts - Authors


Title Page
Message from the Chairs
FSE 2019 Organization


Living with Feature Interactions (Keynote)
Joanne Atlee
(University of Waterloo, Canada)
Article Search
Safety and Robustness for Deep Learning with Provable Guarantees (Keynote)
Marta Kwiatkowska
(University of Oxford, UK)
Article Search
Insights from Open Source Software Supply Chains (Keynote)
Audris Mockus
(University of Tennessee, USA)
Article Search

Main Research

Testing I

Concolic Testing for Models of State-Based Systems
Reza Ahmadi and Juergen Dingel
(Queen's University, Canada)
Article Search Artifacts Reusable
Target-Driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection
Yunho Kim, Shin Hong, and Moonzoo Kim
(KAIST, South Korea; Handong Global University, South Korea)
Article Search Info
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Article Search Artifacts Available Artifacts Reusable

Software Product Lines and Variability

Lifting Datalog-Based Analyses to Software Product Lines
Ramy Shahin, Marsha Chechik, and Rick Salay
(University of Toronto, Canada)
Article Search
An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, and Paul Gazzillo
(University of Texas at Dallas, USA; University of Texas at Austin, USA; University of Maryland, USA; University of Central Florida, USA)
Article Search Artifacts Available Artifacts Reusable
Principles of Feature Modeling
Damir Nešić, Jacob Krüger, Ștefan Stănciulescu, and Thorsten Berger
(KTH, Sweden; University of Magdeburg, Germany; ABB, Switzerland; Chalmers University of Technology, Sweden)
Preprint Info

Empirical Studies I

Understanding GCC Builtins to Develop Better Tools
Manuel Rigger, Stefan Marr, Bram Adams, and Hanspeter Mössenböck
(JKU Linz, Austria; University of Kent, UK; Polytechnique Montréal, Canada)
Preprint Artifacts Available Artifacts Reusable
Assessing the Quality of the Steps to Reproduce in Bug Reports
Oscar Chaparro, Carlos Bernal-Cárdenas, Jing Lu, Kevin Moran, Andrian Marcus, Massimiliano Di Penta, Denys Poshyvanyk, and Vincent Ng
(College of William and Mary, USA; University of Texas at Dallas, USA; University of Sannio, Italy)
Preprint Info

Software Evolution and Maintenance I

A Learning-Based Approach for Automatic Construction of Domain Glossary from Source Code and Documentation
Chong Wang, Xin Peng, Mingwei Liu, Zhenchang Xing, Xuefang Bai, Bing Xie, and Tuo Wang
(Fudan University, China; Australian National University, Australia; Peking University, China)
On Using Machine Learning to Identify Knowledge in API Reference Documentation
Davide Fucci, Alireza Mollaalizadehbahnemiri, and Walid Maalej
(University of Hamburg, Germany)
Article Search
Generating Query-Specific Class API Summaries
Mingwei Liu, Xin Peng, Andrian Marcus, Zhenchang Xing, Wenkai Xie, Shuangshuang Xing, and Yang Liu
(Fudan University, China; University of Texas at Dallas, USA; Australian National University, Australia)
Semantic Relation Based Expansion of Abbreviations
Yanjie Jiang, Hui Liu, and Lu Zhang
(Beijing Institute of Technology, China; Peking University, China)
Article Search

Testing II

Diversity-Based Web Test Generation
Matteo Biagiola, Andrea Stocco, Filippo Ricca, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; USI Lugano, Switzerland; University of Genoa, Italy)
Article Search
Web Test Dependency Detection
Matteo Biagiola, Andrea Stocco, Ali Mesbah, Filippo Ricca, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; USI Lugano, Switzerland; University of British Columbia, Canada; University of Genoa, Italy)
Article Search
Testing Scratch Programs Automatically
Andreas Stahlbauer, Marvin Kreis, and Gordon Fraser
(University of Passau, Germany)
Article Search

Empirical Studies II

A Large-Scale Empirical Study of Compiler Errors in Continuous Integration
Chen Zhang, Bihuan Chen, Linlin Chen, Xin Peng, and Wenyun Zhao
(Fudan University, China)

Cloud Computing

A Statistics-Based Performance Testing Methodology for Cloud Applications
Sen He, Glenna Manns, John Saunders, Wei Wang, Lori Pollock, and Mary Lou Soffa
(University of Texas at San Antonio, USA; University of Virginia, USA; University of Delaware, USA)
Article Search Artifacts Available Artifacts Reusable
How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computing Platform
Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella, and Nematollah Bidokhti
(Federico II University of Naples, Italy; FutureWei Technologies, USA)
Article Search Artifacts Available Artifacts Reusable

Search-Based Software Engineering

Towards More Efficient Meta-heuristic Algorithms for Combinatorial Test Generation
Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, and Hongyu Zhang
(Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China; University of Newcastle, Australia)
Article Search
Compiler Bug Isolation via Effective Witness Test Program Generation
Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang
(Tianjin University, China; Peking University, China; University of Texas at Dallas, USA)
Article Search
Concolic Testing with Adaptively Changing Search Heuristics
Sooyoung Cha and Hakjoo Oh
(Korea University, South Korea)
Article Search
Symbolic Execution-Driven Extraction of the Parallel Execution Plans of Spark Applications
Luciano Baresi, Giovanni Denaro, and Giovanni Quattrocchi
(Politecnico di Milano, Italy; University of Milano-Bicocca, Italy)
Article Search

Testing III

Generating Effective Test Cases for Self-Driving Cars from Police Reports
Alessio Gambi, Tri Huynh, and Gordon Fraser
(University of Passau, Germany; Saarland University, Germany; CISPA, Germany)
Article Search
Preference-Wise Testing for Android Applications
Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, and Xuandong Li
(Nanjing University, China)
Article Search
Bisecting Commits and Modeling Commit Risk during Testing
Armin Najafi, Peter C. Rigby, and Weiyi Shang
(Concordia University, Canada)
Article Search
White-Box Testing of Big Data Analytics with Complex User-Defined Functions
Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, and Miryung Kim
(University of California at Los Angeles, USA; Microsoft, USA)
Article Search

Program Repair

Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts
Thomas Durieux, Fernanda Madeiral, Matias Martinez, and Rui Abreu
(University of Lisbon, Portugal; INESC-ID, Portugal; Federal University of Uberlândia, Brazil; University of Valenciennes, France)
Preprint Info Artifacts Available Artifacts Reusable
iFixR: Bug Report driven Program Repair
Anil Koyuncu, Kui Liu, Tegawendé F. Bissyandé, Dongsun Kim, Martin Monperrus, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg; KTH, Sweden)
Article Search Artifacts Available Artifacts Reusable
Exploring and Exploiting the Correlations between Bug-Inducing and Bug-Fixing Commits
Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, and Zhendong Su
(Hong Kong University of Science and Technology, China; Xiamen University, China; Southern University of Science and Technology, China; Sun Yat-sen University, China; ETH Zurich, Switzerland)
Article Search Info

Human and Social Factors I

Effects of Explicit Feature Traceability on Program Comprehension
Jacob Krüger, Gül Çalıklı, Thorsten Berger, Thomas Leich, and Gunter Saake
(University of Magdeburg, Germany; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Harz University of Applied Sciences, Germany; METOP, Germany)
Preprint Artifacts Available
What the Fork: A Study of Inefficient and Efficient Forking Practices in Social Coding
Shurui Zhou, Bogdan Vasilescu, and Christian Kästner
(Carnegie Mellon University, USA)
Article Search Info

Mobile Software

ServDroid: Detecting Service Usage Inefficiencies in Android Applications
Wei Song, Jing Zhang, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)
Preprint Info
Together Strong: Cooperative Android App Analysis
Felix Pauck and Heike Wehrheim
(University of Paderborn, Germany)
Article Search Info Artifacts Available

Software Evolution and Maintenance II

A Framework for Writing Trigger-Action Todo Comments in Executable Format
Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, and Milos Gligoric
(University of Texas at Austin, USA)
Article Search
Decomposing the Rationale of Code Commits: The Software Developer’s Perspective
Khadijah Al Safwan and Francisco Servant
(Virginia Tech, USA)
Article Search Info Artifacts Available
Model-Based Testing of Breaking Changes in Node.js Libraries
Anders Møller and Martin Toldam Torp
(Aarhus University, Denmark)
Preprint Info Artifacts Reusable
Monitoring-Aware IDEs
Jos Winter, Maurício Aniche, Jürgen Cito, and Arie van Deursen
(Adyen, Netherlands; Delft University of Technology, Netherlands; Massachusetts Institute of Technology, USA)

Empirical Studies III

Going Big: A Large-Scale Study on What Big Data Developers Ask
Mehdi Bagherzadeh and Raffi Khatchadourian
(Oakland University, USA; City University of New York, USA)
Article Search
Why Aren’t Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions
James C. Davis, Louis G. Michael IV, Christy A. Coghlan, Francisco Servant, and Dongyoon Lee
(Virginia Tech, USA)
Preprint Artifacts Available Artifacts Reusable

Program Analysis I

Nodest: Feedback-Driven Static Analysis of Node.js Applications
Benjamin Barslev Nielsen, Behnaz Hassanshahi, and François Gauthier
(Oracle Labs, Australia; Aarhus University, Denmark)
Article Search
Effective Error-Specification Inference via Domain-Knowledge Expansion
Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, and Aditya V. Thakur
(University of California at Davis, USA)
Article Search Artifacts Available Artifacts Reusable


DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
(Nanyang Technological University, Singapore; Kyushu University, Japan)
Article Search
REINAM: Reinforcement Learning for Input-Grammar Inference
Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; University of Pennsylvania, USA; University of California at Berkeley, USA)
Article Search Info
Boosting Operational DNN Testing Efficiency through Conditioning
Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, and Jian Lü
(Nanjing University, China)
Article Search
A Comprehensive Study on Deep Learning Bug Characteristics
Md Johirul Islam, Giang Nguyen, Rangeet Pan, and Hridesh Rajan
(Iowa State University, USA)
Article Search


Just Fuzz It: Solving Floating-Point Constraints using Coverage-Guided Fuzzing
Daniel Liew, Cristian Cadar, Alastair F. Donaldson, and J. Ryan Stinnett
(Imperial College London, UK; Mozilla, USA)
Article Search Artifacts Available
Cerebro: Context-Aware Adaptive Fuzzing for Effective Vulnerability Detection
Yuekang Li, Yinxing Xue, Hongxu Chen, Xiuheng Wu, Cen Zhang, Xiaofei Xie, Haijun Wang, and Yang Liu
(Nanyang Technological University, Singapore; University of Science and Technology of China, China; Tianjin University, China; Xi'an Jiaotong University, China)
Article Search


iFixFlakies: A Framework for Automatically Fixing Order-Dependent Flaky Tests
August Shi, Wing Lam, Reed Oei, Tao Xie, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Article Search
Binary Reduction of Dependency Graphs
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA)
Article Search Artifacts Available Artifacts Reusable
AggrePlay: Efficient Record and Replay of Multi-threaded Programs
Ernest Pobee and W. K. Chan
(City University of Hong Kong, China)
Article Search

Empirical Studies IV

The Review Linkage Graph for Code Review Analytics: A Recovery Approach and Empirical Study
Toshiki Hirao, Shane McIntosh, Akinori Ihara, and Kenichi Matsumoto
(NAIST, Japan; McGill University, Canada; Wakayama University, Japan)

Synthesis and Generation

Mitigating Power Side Channels during Compilation
Jingbo Wang, Chungha Sung, and Chao Wang
(University of Southern California, USA)
Maximal Multi-layer Specification Synthesis
Yanju Chen, Ruben Martins, and Yu Feng
(University of California at Santa Barbara, USA; Carnegie Mellon University, USA)
Article Search
Phoenix: Automated Data-Driven Synthesis of Repairs for Static Analysis Violations
Rohan Bavishi, Hiroaki Yoshida, and Mukul R. Prasad
(University of California at Berkeley, USA; Fujitsu Labs, USA)
Article Search

Testing IV

Black Box Fairness Testing of Machine Learning Models
Aniya Aggarwal, Pranay Lohia, Seema Nagar, Kuntal Dey, and Diptikalyan Saha
(IBM, India)
Article Search
Java Reflection API: Revealing the Dark Side of the Mirror
Felipe Pontes, Rohit Gheyi, Sabrina Souto, Alessandro Garcia, and Márcio Ribeiro
(Federal University of Campina Grande, Brazil; State University of Paraíba, Brazil; PUC-Rio, Brazil; Federal University of Alagoas, Brazil)
Article Search

Empirical Software Engineering

A Conceptual Replication of Continuous Integration Pain Points in the Context of Travis CI
David Gray Widder, Michael Hilton, Christian Kästner, and Bogdan Vasilescu
(Carnegie Mellon University, USA)
Article Search Info
Ethnographic Research in Software Engineering: A Critical Review and Checklist
He Zhang, Xin Huang, Xin Zhou, Huang Huang, and Muhammad Ali Babar
(Nanjing University, China; University of Adelaide, Australia)
Article Search


Achilles’ Heel of Plug-and-Play Software Architectures: A Grounded Theory Based Approach
Joanna Cecilia Da Silva Santos, Adriana Sejfia, Taylor Corrello, Smruthi Gadenkanahalli, and Mehdi Mirakhorli
(Rochester Institute of Technology, USA)
Preprint Info
Latent Error Prediction and Fault Localization for Microservice Applications by Learning from System Trace Logs
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, and Chuan He
(Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore)

Security and Privacy

The Importance of Accounting for Real-World Labelling When Predicting Software Vulnerabilities
Matthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon, and Mark Harman
(University of Luxembourg, Luxembourg; University College London, UK; Facebook, UK)
Article Search
Detecting Concurrency Memory Corruption Vulnerabilities
Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, and Bin Liang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Renmin University of China, China)
Article Search
Locating Vulnerabilities in Binaries via Memory Layout Recovering
Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, and Ting Liu
(Shenzhen University, China; Nanyang Technological University, Singapore; National University of Singapore, Singapore; Teesside University, UK; Xi'an Jiaotong University, China)
Article Search

Program Analysis II

Storm: Program Reduction for Testing and Debugging Probabilistic Programming Systems
Saikat Dutta, Wenxian Zhang, Zixin Huang, and Sasa Misailovic
(University of Illinois at Urbana-Champaign, USA)
Article Search
NullAway: Practical Type-Based Null Safety for Java
Subarno Banerjee, Lazaro Clapp, and Manu Sridharan
(University of Michigan, USA; Uber Technologies, USA; University of California at Riverside, USA)
Article Search Artifacts Available Artifacts Reusable
Automatically Detecting Missing Cleanup for Ungraceful Exits
Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, and Ji Wang
(National University of Defense Technology, China; University of Kentucky, USA)
Article Search

Model Checking

Finding and Understanding Bugs in Software Model Checkers
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, and Zhendong Su
(East China Normal University, China; ETH Zurich, Switzerland; MPI-SWS, Germany)
Article Search
A Segmented Memory Model for Symbolic Execution
Timotej Kapus and Cristian Cadar
(Imperial College London, UK)
Article Search Artifacts Available Artifacts Reusable

Empirical Studies V

Releasing Fast and Slow: An Exploratory Case Study at ING
Elvan Kula, Ayushi Rastogi, Hennie Huijgens, Arie van Deursen, and Georgios Gousios
(Delft University of Technology, Netherlands; ING Bank, Netherlands)

Data-Driven Software Engineering

SAR: Learning Cross-Language API Mappings with Little Knowledge
Nghi D. Q. Bui, Yijun Yu, and Lingxiao Jiang
(Singapore Management University, Singapore; Open University, UK)
Preprint Info Artifacts Available Artifacts Reusable
Robust Log-Based Anomaly Detection on Unstable Log Data
Xu Zhang, Yong Xu, Qingwei Lin, Bo Qiao, Hongyu Zhang, Yingnong Dang, Chunyu Xie, Xinsheng Yang, Qian Cheng, Ze Li, Junjie Chen, Xiaoting He, Randolph Yao, Jian-Guang Lou, Murali Chintalapati, Furao Shen, and Dongmei Zhang
(Nanjing University, China; Microsoft, China; University of Newcastle, Australia; Microsoft, USA; Peking University, China)
Article Search


Pinpointing Performance Inefficiencies in Java
Pengfei Su, Qingsen Wang, Milind Chabbi, and Xu Liu
(College of William and Mary, USA; Scalable Machines Research, USA)
Article Search

Human and Social Factors II

Understanding Flaky Tests: The Developer's Perspective
Moritz Eck, Fabio Palomba, Marco Castelluccio, and Alberto Bacchelli
(University of Zurich, Switzerland; Mozilla, UK)
Article Search

Human and Social Factors III

SEntiMoji: An Emoji-Powered Learning Approach for Sentiment Analysis in Software Engineering
Zhenpeng Chen, Yanbin Cao, Xuan Lu, Qiaozhu Mei, and Xuanzhe Liu
(Peking University, China; University of Michigan, USA)

Industry Papers

FinExpert: Domain-Specific Test Generation for FinTech Systems
Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, and Tao Xie
(East China Normal University, China; New York University, n.n.; CFETS Information Technology, China; University of Illinois at Urbana-Champaign, USA)
Article Search
Design Diagrams as Ontological Source
Pranay Lohia, Kalapriya Kannan, Biplav Srivastava, and Sameep Mehta
(IBM Research, India; IBM Research, USA)
Article Search
Predicting Pull Request Completion Time: A Case Study on Large Scale Cloud Services
Chandra Maddila, Chetan Bansal, and Nachiappan Nagappan
(Microsoft, USA)
Article Search
TERMINATOR: Better Automated UI Test Case Prioritization
Zhe Yu, Fahmid Fahid, Tim Menzies, Gregg Rothermel, Kyle Patrick, and Snehit Cherian
(North Carolina State University, USA; LexisNexis, USA)
Article Search
Risks and Assets: A Qualitative Study of a Software Ecosystem in the Mining Industry
Thomas Olsson and Ulrik Franke
(RISE SICS, Sweden)
Article Search
Using Microservices for Non-intrusive Customization of Multi-tenant SaaS
Phu H. Nguyen, Hui Song, Franck Chauvel, Roy Muller, Seref Boyar, and Erik Levin
(SINTEF, Norway; Visma, Norway)
Article Search
Predicting Breakdowns in Cloud Services (with SPIKE)
Jianfeng Chen, Joymallya Chakraborty, Philip Clark, Kevin Haverlock, Snehit Cherian, and Tim Menzies
(North Carolina State University, USA; LexisNexis, USA)
Article Search
DeepDelta: Learning to Repair Compilation Errors
Ali Mesbah, Andrew Rice, Emily Johnston, Nick Glorioso, and Edward Aftandilian
(University of British Columbia, Canada; University of Cambridge, UK; Google, USA)
Article Search
WhoDo: Automating Reviewer Suggestions at Scale
Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Christian Bird, Chetan Bansal, Chandra Maddila, Sonu Mehta, and B. Ashok
(Microsoft, India; Microsoft, USA)
Article Search
An IR-Based Approach towards Automated Integration of Geo-Spatial Datasets in Map-Based Software Systems
Nima Miryeganeh, Mehdi Amoui, and Hadi Hemmati
(University of Calgary, Canada; Localintel, Canada)
Article Search
Code Coverage at Google
Marko Ivanković, Goran Petrović, René Just, and Gordon Fraser
(Google, Switzerland; University of Washington, USA; University of Passau, Germany)
Article Search
When Deep Learning Met Code Search
Jose Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, and Satish Chandra
(Massachusetts Institute of Technology, USA; Facebook, USA; University of California at Berkeley, USA)
Article Search
FUDGE: Fuzz Driver Generation at Scale
Domagoj Babić, Stefan Bucur, Yaohui Chen, Franjo Ivančić, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, and Wei Wang
(Google, USA; Northeastern University, USA; University of California at Berkeley, USA)
Industry Practice of Coverage-Guided Enterprise Linux Kernel Fuzzing
Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; Alibaba Group, China; Villanova University, USA; Embry-Riddle Aeronautical University, USA)
Article Search
Architectural Decision Forces at Work: Experiences in an Industrial Consultancy Setting
Julius Rueckert, Andreas Burger, Heiko Koziolek, Thanikesavan Sivanthi, Alexandru Moga, and Carsten Franke
(ABB Corporate Research, Germany; ABB Corporate Research, Switzerland)
Article Search
The Role of Limitations and SLAs in the API Industry
Antonio Gamez-Diaz, Pablo Fernandez, Antonio Ruiz-Cortés, Pedro J. Molina, Nikhil Kolekar, Prithpal Bhogill, Madhurranjan Mohaan, and Francisco Méndez
(University of Seville, Spain; Metadev, Spain; PayPal, USA; Google, USA; AsyncAPI Initiative, Spain)
Article Search Info
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, and David Wolfe
(University of Luxembourg, Luxembourg; QRA, Canada)
Article Search
Model Checking a C++ Software Framework: A Case Study
John Lång and I. S. W. B. Prasetya
(University of Helsinki, Finland; Utrecht University, Netherlands)
Preprint Info
Evolving with Patterns: A 31-Month Startup Experience Report
Miguel Ehécatl Morales-Trujillo and Gabriel Alberto García-Mireles
(University of Canterbury, New Zealand; Universidad de Sonora, Mexico)
Article Search
Bridging the Gap between ML Solutions and Their Business Requirements using Feature Interactions
Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, and Marcel Zalmanovici
(Western Digital, Israel; IBM, Israel; IBM, India)
Article Search
Design Thinking in Practice: Understanding Manifestations of Design Thinking in Software Engineering
Franziska Dobrigkeit and Danielly de Paula
(HPI, Germany; National University of Ireland at Galway, Ireland)
Article Search


MOTSD: A Multi-Objective Test Selection Tool using Test Suite Diagnosability
Daniel Correia, Rui Abreu, Pedro Santos, and João Nadkarni
(University of Lisbon, Portugal; OutSystems, Portugal)
Article Search
BIKER: A Tool for Bi-Information Source Based API Method Recommendation
Liang Cai, Haoye Wang, Qiao Huang, Xin Xia, Zhenchang Xing, and David Lo
(Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore)
Article Search
Mart: A Mutant Generation Tool for LLVM
Thierry Titcheu Chekam, Mike Papadakis, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Preprint Video Info
VARYS: An Agnostic Model-Driven Monitoring-as-a-Service Framework for the Cloud
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, and Leonardo Mariani
(University of Milano-Bicocca, Italy)
Article Search Video Info
JCOMIX: A Search-Based Tool to Detect XML Injection Vulnerabilities in Web Applications
Dimitri Michel Stallenberg and Annibale Panichella
(Delft University of Technology, Netherlands)
Article Search Video
Event Trace Reduction for Effective Bug Replay of Android Apps via Differential GUI State Analysis
Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, and Jingling Xue
(University of Technology Sydney, Australia; Alibaba Group, China; Northwestern Polytechnical University, China; UNSW, Australia)
Article Search
PyGGI 2.0: Language Independent Genetic Improvement Framework
Gabin An, Aymeric Blot, Justyna Petke, and Shin Yoo
(KAIST, South Korea; University College London, UK)
Article Search Video
CloneCognition: Machine Learning Based Code Clone Validation Tool
Golam Mostaeen, Jeffrey Svajlenko, Banani Roy, Chanchal K. Roy, and Kevin Schneider
(University of Saskatchewan, Canada; Microsoft, USA)
Article Search
EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing
Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, and Xiang Shi
(Tsinghua University, China; WeBank, China)
Article Search
A Dynamic Taint Analyzer for Distributed Systems
Xiaoqin Fu and Haipeng Cai
(Washington State University, USA)
Preprint Video Info
Governify for APIs: SLA-Driven Ecosystem for API Governance
Antonio Gamez-Diaz, Pablo Fernandez, and Antonio Ruiz-Cortés
(University of Seville, Spain)
Article Search Video Info
Developing Secure Bitcoin Contracts with BitML
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, and Roberto Zunino
(University of Cagliari, Italy; Imperial College London, UK; University of Trento, Italy)
Preprint Video Info
DISCOVER: Detecting Algorithmic Complexity Vulnerabilities
Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, and Suresh Kothari
(Iowa State University, USA; EnSoft, USA)
Article Search Video
AnswerBot: An Answer Summary Generation Tool Based on Stack Overflow
Liang Cai, Haoye Wang, Bowen Xu, Qiao Huang, Xin Xia, David Lo, and Zhenchang Xing
(Zhejiang University, China; Singapore Management University, Singapore; Monash University, Australia; Australian National University, Australia)
Article Search
Eagle: A Team Practices Audit Framework for Agile Software Development
Alejandro Guerrero, Rafael Fresno, Pablo Fernandez, Carlos Muller, Antonio Ruiz-Cortes, An Ju, and Armando Fox
(University of Seville, Spain; University of California at Berkeley, USA)
Preprint Video Info

Doctoral Symposium

Exploratory Test Agents for Stateful Software Systems
Stefan Karlsson
(ABB, Sweden; Mälardalen University, Sweden)
Article Search
Helping Developers Search and Locate Task-Relevant Information in Natural Language Documents
Arthur Marques
(University of British Columbia, Canada)
Article Search
Distributed Execution of Test Cases and Continuous Integration
Carmen Coviello
(University of Basilicata, Italy)
Article Search
Managing the Open Cathedral
Matthias Müller
(Graz University of Technology, Austria)
Article Search
A Taxonomy of Metrics for Software Fault Prediction
Maria Caulo
(University of Basilicata, Italy)
Article Search
A Longitudinal Field Study on Creation and Use of Domain-Specific Languages in Industry
Jasper Denkers
(Delft University of Technology, Netherlands)
Article Search
Failure-Driven Program Repair
Davide Ginelli
(University of Milano-Bicocca, Italy)
Article Search
Improving Requirements Engineering Practices to Support Experimentation in Software Startups
Jorge Melegati
(Free University of Bolzano, Italy)
Article Search
Machine-Learning Supported Vulnerability Detection in Source Code
Tim Sonnekalb
(DLR, Germany)
Article Search
On Extending Single-Variant Model Transformations for Reuse in Software Product Line Engineering
Sandra Greiner
(University of Bayreuth, Germany)
Article Search

Student Research Competition

Software Clusterings with Vector Semantics and the Call Graph
Marios Papachristou
(National Technical University of Athens, Greece)
Article Search
Machine Learning-Assisted Performance Testing
Mahshid Helali Moghadam
(RISE SICS, Sweden)
Article Search
File Tracing by Intercepting Disk Requests
Vladislav Stepanov
(Novgorod State University, Russia)
Article Search
Recommending Related Functions from API Usage-Based Function Clone Structures
Shamsa Abid
(Lahore University of Management Sciences, Pakistan)
Article Search
Identifying the Most Valuable Developers using Artifact Traceability Graphs
H. Alperen Cetin
(Bilkent University, Turkey)
Article Search
Automated Patch Porting across Forked Projects
Luyao Ren
(Peking University, China)
Article Search
Employing Different Program Analysis Methods to Study Bug Evolution
Charalambos Mitropoulos
(Athens University of Economics and Business, Greece)
Article Search
Reducing the Workload of the Linux Kernel Maintainers: Multiple-Committer Model
Xin Tan
(Peking University, China)
Article Search
Efficient Computing in a Safe Environment
Michail Loukeris
(Athens University of Economics and Business, Greece)
Article Search
The Lessons Software Engineers Can Extract from Painters to Improve the Software Development Process
Milana Nurgalieva
(Innopolis University, Russia)
Article Search
An Industrial Application of Test Selection using Test Suite Diagnosability
Daniel Correia
(University of Lisbon, Portugal; Instituto Superior Técnico, Portugal)
Article Search
Understanding Source Code Comments at Large-Scale
Hao He
(Peking University, China)
Article Search
A Graph-Based Framework for Analysing the Design of Smart Contracts
Bram Vandenbogaerde
(Vrije Universiteit Brussel, Belgium)
Article Search
Finding the Shortest Path to Reproduce a Failure Found by TESTAR
Olivia Rodriguez Valdes
(Technological University of Havana, Cuba)
Article Search
Analysing Socio-technical Congruence in the Package Dependency Network of Cargo
Mehdi Golzadeh
(University of Mons, Belgium)
Article Search
Tuning Backfired? Not (Always) Your Fault: Understanding and Detecting Configuration-Related Performance Bugs
Haochen He
(National University of Defense Technology, China)
Article Search
On the Use of Lambda Expressions in 760 Open Source Python Projects
Shubham Sangle and Sandeep Muvva
(IIT Tirupati, India)
Article Search
Test-Related Factors and Post-release Defects: An Empirical Study
Fabiano Pecorelli
(University of Salerno, Italy)
Article Search
Static Deep Neural Network Analysis for Robustness
Rangeet Pan
(Iowa State University, USA)
Article Search
On the Comprehension of Software Architecture in Projects with Rapid Releases
Chaitanya S. Lakkundi
(IIT Tirupati, India)
Article Search
Are Existing Code Smells Relevant in Web Games? An Empirical Study
Vaishali Khanve
(IIT Tirupati, India)
Article Search
Tackling Knowledge Needs during Software Evolution
Jacob Krüger
(University of Magdeburg, Germany)
Article Search
On the Scalable Dynamic Taint Analysis for Distributed Systems
Xiaoqin Fu
(Washington State University, USA)
Article Search
Suggesting Reviewers of Software Artifacts using Traceability Graphs
Emre Sülün
(Bilkent University, Turkey)
Article Search
Using Software Testing to Repair Models
Marco Radavelli
(University of Bergamo, Italy)
Article Search
Rethinking Regex Engines to Address ReDoS
James C. Davis
(Virginia Tech, USA)
Article Search
Context-Aware Test Case Adaptation
Peiyi Sun
(Peking University, China)
Article Search
Empirical Study of Customer Communication Problem in Agile Requirements Engineering
Ilyuza Gizzatullina
(Innopolis University, Russia)
Article Search

proc time: 7.28