Overview

ESEC/FSE 2019 takes place from August 26, 2019 to August 30, 2019, with registration opening already on Sunday, August 25.

Sunday, 25-Aug-2019

Time 
17:30-19:00Registration Desk (in Forum)

Monday, 26-Aug-2019

Time
08:00-17:30 Registration Desk (in Forum)
09:00-10:30 WS1:
A-Test

Room: Allegro
WS2:
IWSiB

Room: Grande 1
WS3:
EASEAI

Room: Grande 2
WS4:
EnSEmble

Room: Andante
WS5:
SQUADE

Room: Bolero 1
10:30-11:00 Coffee/Tea Break (in Forum)
11:00-12:30 WS1:
A-Test

Room: Allegro
WS2:
IWSiB

Room: Grande 1
WS3:
EASEAI

Room: Grande 2
WS4:
EnSEmble

Room: Andante
WS5:
SQUADE

Room: Bolero 1
12:30-14:00 Lunch (in Restaurant)
14:00-15:30 WS1:
A-Test

Room: Allegro
WS2:
IWSiB

Room: Grande 1
WS3:
EASEAI

Room: Grande 2
WS4:
EnSEmble

Room: Andante
WS5:
SQUADE

Room: Bolero 1
IEEE Software
EB Meeting

Room: Duetto
15:30-16:00 Coffee/Tea Break (in Forum)
16:00-17:30 WS1:
A-Test

Room: Allegro
WS2:
IWSiB

Room: Grande 1
WS3:
EASEAI

Room: Grande 2
WS4:
EnSEmble

Room: Andante
WS5:
SQUADE

Room: Bolero 1
IEEE Software
EB Meeting

Room: Duetto

Tuesday, 27-Aug-2019

Time
08:00-17:30 Registration Desk (in Forum)
09:00-10:30 WS1:
A-Test

Room:
Allegro
WS6:
MaLTeSQuE

Room:
Grande 1
WS7:
WAMA

Room:
Andante
Doctoral
Symposium

Room:
Grande 2
  IEEE Software
EB Meeting

Room:
Duetto
10:30-11:00 Coffee/Tea Break (in Forum)
11:00-12:30 WS1:
A-Test

Room:
Allegro
WS6:
MaLTeSQuE

Room:
Grande 1
WS7:
WAMA

Room:
Andante
Doctoral
Symposium

Room:
Grande 2
  IEEE Software
EB Meeting

Room:
Duetto
12:30-14:00 Lunch (in Restaurant)
14:00-15:30 WS1:
A-Test

Room:
Allegro
WS6:
MaLTeSQuE

Room:
Grande 1
WS7:
WAMA

Room:
Andante
Doctoral
Symposium

Room:
Grande 2
  IEEE Software
EB Meeting

Room:
Duetto
15:30-16:00 Coffee/Tea Break (in Forum)
16:00-17:30 WS1:
A-Test

Room:
Allegro
WS6:
MaLTeSQuE

Room:
Grande 1
WS7:
WAMA

Room:
Andante
Doctoral
Symposium

Room:
Grande 2
  IEEE Software
EB Meeting

Room:
Duetto
   
19:00-21:00       Doctoral Symposium
Social Dinner
   

Main Conference Program (Day 1)

Wednesday, 28-Aug-2019

Time
08:00-17:30 Registration Desk (in Forum)
08:45-10:30 Plenary Session
Room: Grande 1+2
Opening and Welcome (General Chairs & PC Chairs)

Research Keynote 1: Speaker: Joanne Atlee — Chair: Sven Apel
10:30-11:00 Coffee/Tea Break (in Forum)
11:00-12:30  Testing 1 
Room:
Bolero 1
Software Product Lines and Variability
Room:
Bolero 2
Empirical Studies 1
Room:
Andante
Software Evolution and Maintenance 1
Room:
Allegro
SRC – Posters
Room:
Grande 3
Speaker’s
Room:
Duetto
12:30-14:00 Lunch (in Restaurant) ESEC/FSE SC Meeting
Room:
Duetto
14:00-15:30  Testing 2 
Room:
Bolero 1
Empirical Studies 2
Room:
Bolero 2
Cloud Computing
Room:
Andante
Search-based Software Engineering
Room:
Allegro
SRC – Posters (presentations for Jury)
Room:
Grande 3
Speaker’s
Room:
Duetto
15:30-16:00 Coffee/Tea Break (in Forum)
16:00-17:30  Testing 3 
Room:
Bolero 1
Program Repair
Room:
Bolero 2
Human and Social Factors 1
Room:
Andante
Mobile Software
Room:
Allegro
SRC – Posters
Room:
Grande 3
Speaker’s
Room:
Duetto
17:30-18:30 SIGSOFT Town Hall
Room: Grande 1+2
SRC Judges Meeting 1
Room:
Duetto
     
19:00-22:00 Conference Reception

Main Conference Program (Day 2)

Thursday, 29-Aug-2019

Time
08:00-17:30 Registration Desk (in Forum)
08:45-10:30 Plenary Session
Room: Grande 1+2
Research Keynote 2: Speaker: Marta Kwiatkowska — Chair: Alessandra Russo

Tool Madness — Chair: Yuanfang Cai
10:30-11:00 Coffee/Tea Break (in Forum)
11:00-12:30 Software Evolution and Maintenance 2
Room:
Bolero 1
Empirical Studies 3
Room:
Bolero 2
Program Analysis 1
Room:
Andante
Learning
Room:
Allegro
ROSE Festival
Room:
Grande 3
Speaker’s
Room:
Duetto
12:30-14:00 Lunch (in Restaurant) SIGSOFT SC Meeting — CANCELLED
Room:
Duetto
14:00-15:30 Fuzzing
Room:
Bolero 1
Debugging
Room:
Bolero 2
Empirical Studies 4
Room:
Andante
Synthesis and Generation
Room:
Allegro
SRC – Presentations
Room:
Grande 3
Speaker’s
Room:
Duetto
15:30-16:00 Coffee/Tea Break (in Forum)
16:00-17:30 Testing 4
Room:
Bolero 1
Empirical Software Engineering
Room:
Bolero 2
Architecture
Room:
Andante
Security and Privacy
Room:
Allegro
SRC – Presentations
Room:
Grande 3
Speaker’s
Room:
Duetto
17:30-18:30   SRC Judges Meeting 2
Room:
Duetto
     
19:00-22:00 Conference Dinner (Banquet)

Main Conference Program (Day 3)

Friday, 30-Aug-2019

Time
08:00-17:30 Registration Desk (in Forum)
08:45-10:30 Plenary Session
Room: Grande 1+2
Industry Keynote: Speaker: Audris Mockus — Chair: Michael Felderer

ACM SIGSOFT Impact Keynote Award winners
Koushik Sen, Darko Marinov, Gul Agha: CUTE: a concolic unit testing engine for C
Speaker: Koushik Sen – Chair: Dietmar Pfahl
Slides are available here
Video recording available here
10:30-11:00 Coffee/Tea Break (in Forum)
11:00-12:30 Program
Analysis 2

Room:
Bolero 1
Model
Checking

Room:
Bolero 2
Empirical
Studies 5

Room:
Andante
Data-driven
Software Engineering

Room:
Allegro
Tool Demos
Room:
Grande 3
Speaker’s
Room:
Duetto
12:30-14:00 Lunch (in Restaurant) LGBT Meet-up
Room:
Duetto
14:00-15:30 Plenary Session
Room: Grande 1+2

ESEC/FSE Test-of-Time Award Talk 1
Thomas Zimmermann, Nachiappan Nagappan, Harald Gall, Emanuel Giger, Brendan Murphy: Cross-project Defect Prediction: a Large Scale Experiment on Data vs. Domain vs. Process
Speakers: Thomas Zimmermann & Nachiappan Nagappan – Chair: Myra Cohen
Video recording available here
ESEC/FSE Test-of-Time Award Talk 2
Christian Bird, Adrian Bachmann, Eirik Aune, John Duffy, Abraham Bernstein, Vladimir Filkov, Premkumar Devanbu: Fair and balanced? Bias in Bug-fix Datasets
Speaker: Premkumar Devanbu & Christian Bird – Chair: Marsha Chechik
Video recording available here
Tool Demos
Room:
Grande 3
Speaker’s
Room:
Duetto
Speaker’s
Room:
Duetto
Coffee/Tea Break (in Forum)
16:00-17:00 Performance
Room:
Bolero 1
Human and Social Factors 2
Room:
Bolero 2
  Human and Social Factors 3
Room:
Allegro
Tool Demos
Room:
Grande 3
 
17:00-17:30 Plenary Session
Room: Grande 1+2
Closing

A PDF of the program booklet can be found here.

Sessions

Wednesday, 28-Aug-2019 — 11:00 to 12:30

Testing I — Chair: Paolo Tonella – Room: Bolero 1

  • Concolic Testing for Models of State-based Systems [Research] by Reza Ahmadi and Juergen Dingel (20 min)
  • Target-driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection [Research] by Yunho Kim, Shin Hong and Moonzoo Kim (20 min)
  • MOTSD: A Multi-Objective Test Selection Tool using Test Suite Diagnosability [Tool Demo] by Daniel Correia, Rui Abreu, Pedro Santos and João Nadkarni (10 min)
  • Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors [Research] by Claudio Menghi, Shiva Nejati, Khouloud Gaaloul and Lionel Briand (20 min)
  • FinExpert: Domain-specific Test Generation for FinTech Systems [Industry] by Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He and Tao Xie (20 min)

Software Product Lines and Variability — Chair: Zhendong Su – Room: Bolero 2

  • Lifting Datalog-based Analyses to Software Product Lines [Research] by Ramy Shahin, Marsha Chechik and Rick Salay (20 min)
  • An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools [Research] by Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei and Paul Gazzillo (20 min)
  • Principles of Feature Modeling [Research] by Damir Nešić, Jacob Krüger, Ștefan Stănciulescu and Thorsten Berger (20 min)
  • Design Diagrams as Ontological Source [Industry] by Pranay Lohia, Kalapriya Kannan, Biplav Srivastava and Sameep Mehta (20 min)

Empirical Studies I — Chair: Audris Mockus – Room: Andante

  • Understanding GCC Builtins to Develop Better Tools [Research] by Manuel Rigger, Stefan Marr, Bram Adams, and Hanspeter Mössenböck (20 min)
  • Assessing the Quality of the Steps to Reproduce in Bug Reports [Research] by Oscar Chaparro, Carlos Bernal-Cárdenas, Jing Lu, Kevin Moran, Andrian Marcus, Massimiliano Di Penta, Denys Poshyvanyk and Vincent Ng (20 min)
  • Self-Managing: An Empirical Study of the Practice in Agile Teams [Journal First] by Gema Gutierrez Peña, Javier Garzas, Mª Teresa González and Javier M. Moguerza (20 min)
  • Predicting Pull Request Completion Time: A Case Study on Large Scale Cloud Services [Industry] by Chandra Maddila, Chetan Bansal and Nachiappan Nagappan (20 min)

Software Evolution and Maintenance I — Chair: Diomidis Spinellis – Room: Allegro

  • A Learning-based Approach for Automatic Construction of Domain Glossary from Source Code and Documentation [Research] by Chong Wang, Xin Peng, Mingwei Liu, Zhenchang Xing, Xuefang Bai, Bing Xie and Tuo Wang (20 min)
  • On Using Machine Learning to Identify Knowledge in API Reference Documentation [Research] by Davide Fucci, Alireza Mollaalizadehbahnemiri and Walid Maalej (20 min)
  • Generating Query-specific Class API Summaries [Research] by Mingwei Liu, Xin Peng, Andrian Marcus, Zhenchang Xing, Wenkai Xie, Shuangshuang Xing and Yang Liu (20 min)
  • Semantic Relation Based Expansion of Abbreviations [Research] by Yanjie Jiang, Hui Liu and Lu Zhang (20 min)
  • BIKER: A Tool for Bi-Information Source Based API Method Recommendation [Tool Demo] by Liang Cai, Haoye Wang, Qiao Huang, Xin Xia, Zhenchang Xing and David Lo (10 min)

Wednesday, 28-Aug-2019 — 14:00 to 15:30

Testing II — Chair: Rudolf Ramler – Room: Bolero 1

  • Diversity-Based Web Test Generation [Research] by Matteo Biagiola, Andrea Stocco, Filippo Ricca and Paolo Tonella (20 min)
  • TERMINATOR: Better Automated UI Test Case Prioritization [Industry] by Zhe Yu, Fahmid Fahid, Tim Menzies, Gregg Rothermel, Kyle Patrick and Snehit Cherian (20 min)
  • Web Test Dependency Detection [Research] by Matteo Biagiola, Andrea Stocco, Ali Mesbah, Filippo Ricca and Paolo Tonella (20 min)
  • Mart: A Mutant Generation Tool for LLVM [Tool Demo] by Thierry Titcheu Chekam, Mike Papadakis and Yves Le Traon (10 min)
  • Testing Scratch Programs Automatically [Research] by Andreas Stahlbauer, Marvin Kreis and Gordon Fraser (20 min)

Empirical Studies II — Chair: Mehrdad Sabetzadeh – Room: Bolero 2

  • A Large-Scale Empirical Study of Compiler Errors in Continuous Integration [Research] by Chen Zhang, Bihuan Chen, Linlin Chen, Xin Peng and Wenyun Zhao (20 min)
  • The Effect of Work Environments on Productivity and Satisfaction of Software Engineers [Journal First] by Brittany Johnson, Thomas Zimmermann and Christian Bird (20 min)
  • Evolving with Patterns: a 31-month Startup Experience Report [Industry] by Miguel Ehecatl Morales Trujillo and Gabriel Alberto García-Mireles (20 min)
  • Studying the Difference Between Natural and Programming Language Corpora [Journal First] by Casey Casalnuovo, Kenji Sagae and Prem Devanbu (20 min)

Cloud Computing — Chair: Luciano Baresi – Room: Andante

  • A Statistics-based Performance Testing Methodology for Cloud Applications [Research] by Sen He, Glenna Manns, John Saunders, Wei Wang, Lori Pollock and Mary Lou Soffa (20 min)
  • How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computing Platform [Research] by  Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella and Nematollah Bidokhti (20 min)
  • Using Microservices for Non-intrusive Customization of Multi-tenant SaaS [Industry] by Phu H. Nguyen, Hui Song, Franck Chauvel, Roy Muller, Seref Boyar and Erik Levin (20 min)
  • VARYS: An Agnostic Model-Driven Monitoring-as-a-Service Framework for the Cloud [Tool Demo] by Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn and Leonardo Mariani (10 min)
  • Predicting Breakdowns in Cloud Services (with SPIKE) [Industry] by Jianfeng Chen, Joymallya Chakraborty, Philip Clark, Kevin Haverlock, Snehit Cherian and Tim Menzies (20 min)

Search-based Software Engineering — Chair: Shiva Nejati – Room: Allegro

  • Towards More Efficient Meta-heuristic Algorithms for Combinatorial Test Generation [Research] by Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin and Hongyu Zhang (20 min)
  • Compiler Bug Isolation via Effective Witness Test Program Generation [Research] by Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao and Lu Zhang (20 min) 
  • Concolic Testing with Adaptively Changing Search Heuristics [Research] by Sooyoung Cha and Hakjoo Oh (20 min)
  • JCOMIX: a Search-based Tool to Detect XML Injection Vulnerabilities in Web Applications [Tool Demo] by Dimitri Michel Stallenberg and Annibale Panichella (10 min)
  • Symbolic Execution-driven Extraction of the Parallel Execution Plans of Spark Application [Research] by Luciano Baresi, Giovanni Denaro and Giovanni Quattrocchi (20 min)

Wednesday, 28-Aug-2019 — 16:00 to 17:30

Testing III — Chair: Andrea Stocco – Room: Bolero 1

  • Generating Effective Test Cases for Self-Driving Cars from Police Report [Research] by Alessio Gambi, Tri Huynh and Gordon Fraser (20 min)
  • Preference-wise Testing for Android Applications [Research] by Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang and Xuandong Li (20 min)
  • Bisecting Commits and Modeling Commit Risk during Testing [Research] by Armin Najafi, Peter Rigby and Weiyi Shang (20 min)
  • White-Box Testing of Big Data Analytics with Complex User-Defined Functions [Research] by Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi and Miryung Kim (20 min)

Program Repair — Chair: Everton Tavares Guimaraes – Room: Bolero 2

  • Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2 141 Bugs and 23 551 Repair Attempts [Research] by Thomas Durieux, Fernanda Madeiral, Matias Martinez and Rui Abreu (20 min)
  • iFixR: Bug Report driven Program Repair [Research] by  Anil Koyuncu, Kui Liu, Tegawendé F. Bissyandé, Dongsun Kim, Martin Monperrus, Jacques Klein and Yves Le Traon (20 min)
  • Exploring and Exploiting the Correlations between Bug-Inducing and Bug-Fixing Commits [Research] by Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung and Zhendong Su (20 min)
  • Event Trace Reduction for Effective Bug Replay of Android Apps via Differential GUI State Analysis [Tool Demo] by Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang and Jingling Xue (10 min)
  • DeepDelta: Learning to Repair Compilation Errors [Industry] by Ali Mesbah, Andrew Rice, Edward Aftandilian, Emily Johnston and Nick Glorioso (20 min)

Human and Social Factors I — Chair: Brittany Johnson – Room: Andante

  • Understanding Flaky Tests: The Developer’s Perspective [Research] by Moritz Eck, Fabio Palomba, Marco Castelluccio and Alberto Bacchelli (20 min)
  • What the Fork: A Study of Inefficient and Efficient Forking Practices in Social Coding [Research] by Shurui Zhou, Bogdan Vasilescu and Christian Kästner (20 min)
  • The Sound of Software Development: Music Listening Among Software Engineers [Journal First] by Laura E. Barton, Gülipek Candan, Thomas Fritz, Thomas Zimmermann and Gail Murphy (20 min)
  • WhoDo: Automating reviewer suggestions at scale [Industry] by Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Christian Bird, Chetan Bansal, Chandra Maddila, Sonu Mehta and B Ashok (20 min)

Mobile Software — Chair: Yi Li – Room: Allegro

  • ServDroid: Detecting Service Usage Inefficiencies in Android Applications [Research] by Wei Song, Jing Zhang and Jeff Huang (20 min)
  • Together Strong: Cooperative Android App Analysis [Research] by Felix Pauck and Heike Wehrheim (20 min)
  • Catalog of Energy Patterns for Mobile Applications [Journal First] by Luis Cruz and Rui Abreu (20 min)
  • An IR-based Approach Towards Automated Integration of Geo-spatial Datasets in Map-based Software Systems [Industry] by Seyed Nima Miryeganeh, Mehdi Amoui and Hadi Hemmati (20 min)

Thursday, 29-Aug-2019 — 11:00 to 12:30

Software Evolution and Maintenance II — Chair: Massimiliano Di Penta – Room: Bolero 1

  • A Framework for Writing Trigger-Action Todo Comments in Executable Format [Research] by Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney and Milos Gligoric (20 min)
  • Decomposing the Rationale of Code Commits: The Software Developers’ Perspective [Research] by Khadijah Al Safwan and Francisco Servant (20 min)
  • Model-Based Testing of Breaking Changes in Node.js Libraries [Research] by Martin Toldam Torp and Anders Møller (20 min)
  • Monitoring-aware IDEs [Research] by Jos Winter, Maurício Aniche, Jürgen Cito and Arie van Deursen (20 min)

Empirical Studies III — Chair: Prem Devanbu – Room: Bolero 2

  • Going Big: A Large-scale Study on What Big Data Developers Ask [Research] by Mehdi Bagherzadeh and Raffi Khatchadourian (20 min)
  • Why Aren’t Regular Expressions a Lingua Franca? [Research] by James Davis, Mischa Michael, Christy Coghlan, Francisco Servant and Dongyoon Lee (20 min)
  • Today was a Good Day: The Daily Life of Software Developers [Journal First] by Andre Meyer, Earl Barr, Christian Bird and Thomas Zimmermann (20 min)
  • Are Donation Badges Appealing? A Case Study of Developer Responses to Eclipse Bug Reports [Journal First] by Keitaro Nakasai, Hideaki Hata and Kenichi Matsumoto (20 min)

Program Analysis I — Chair: Domenico Bianculli – Room: Andante

  • NODEST: Feedback-driven Static Analysis of Node.js Applications [Research] by Benjamin Barslev Nielsen, Behnaz Hassanshahi and François Gauthier (20 min)
  • Effective Error-Specification Inference via Domain-Knowledge Expansion [Research] by Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-Gonzalez and Aditya Thakur (20 min)
  • Code Coverage at Google [Industry] by Marko Ivanković, Goran Petrović, René Just and Gordon Fraser (20 min)
  • PyGGI 2.0: Language Independent Genetic Improvement Framework [Tool Demo] by Gabin An, Aymeric Blot, Justyna Petke and Shin Yoo (10 min)
  • When Deep Learning Met Code Search [Industry] by Jose Cambronero, Hongyu Li, Seohyun Kim, Satish Chandra and Koushik Sen (20 min)

Learning — Chair: Zhendong Su – Room: Allegro

  • DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems [Research] by Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao (20 min)
  • REINAM: Reinforcement Learning for Input-Grammar Inference [Research] by Zhengkai Wu, Evan N. Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng and Tao Xie (20 min)
  • Boosting Operational DNN Testing Efficiency through Conditioning [Research] by Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu and Jian Lu (20 min)
  • A Comprehensive Study on Deep Learning Bug Characteristics [Research] by Md Johirul Islam, Giang Nguyen, Rangeet Pan and Hridesh Rajan (20 min)
  • CloneCognition: Machine Learning Based Code Clone Validation Tool [Tool Demo] by Golam Mostaeen, Jeffrey Svajlenko, Banani Roy, Chanchal K. Roy and Kevin Schneider (10 min)

Thursday, 29-Aug-2019 — 14:00 to 15:30

Fuzzing — Chair: Wing Kwong Chan – Room: Bolero 1

  • Just Fuzz It: Solving Floating-Point Constraints Using Coverage-guided Fuzzing [Research] by Daniel Liew, Cristian Cadar, Alastair Donaldson and J. Ryan Stinnett (20 min)
  • Cerebro: Context-aware Adaptive Fuzzing for Effective Vulnerability Detection [Research] by Yuekang Li, Yinxing Xue, Hongxu Chen, Xiuheng Wu, Cen Zhang, Xiaofei Xie, Haijun Wang and Yang Liu (20 min)
  • EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing [Tool Demo] by Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li and Xiang Shi (10 min)
  • FUDGE: Fuzz Driver Generation at Scale [Industry] by Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, Laszlo Szekeres and Wei Wang (20 min)
  • Industry Practice of Coverage-guided Enterprise Linux Kernel Fuzzing [Industry] by Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang and Jiaguang Sun (20 min)

Debugging — Chair: Alessandro Orso – Room: Bolero 2

  • iFixFlakies: A Framework for Automatically Fixing Order-dependent Flaky Tests [Research] by August Shi, Wing Lam, Reed Oei, Tao Xie and Darko Marinov (20 min)
  • Binary Reduction of Dependency Graphs [Research] by Christian Kalhauge and Jens Palsberg (20 min)
  • AggrePlay: Efficient Record and Replay of Multi-threaded Programs [Research] by Ernest Pobee and W.K. Chan (20 min)
  • A Dynamic Taint Analyzer for Distributed Systems [Tool Demo] by Xiaoqin Fu and Haipeng Cai (10 min)
  • An Empirical Study of Fault Localization Families and Their Combinations [Journal First] by Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst and Lu Zhang (20 min)

Empirical Studies IV — Chair: Maleknaz Nayebi – Room: Andante

  • The Review Linkage Graph for Code Review Analytics: A Recovery Approach and Empirical Study [Research] by Toshiki Hirao, Shane Mcintosh, Akinori Ihara and Kenichi Matsumoto (20 min)
  • Associating Working Memory Capacity and Code Change Ordering with Code Review Performance [Journal First] by Tobias Baum, Kurt Schneider and Alberto Bacchelli (20 min)
  • Architectural Decision Forces at Work: Experiences in an Industrial Consultancy Setting [Industry] by Julius Rueckert, Andreas Burger, Heiko Koziolek, Thanikesavan Sivanthi, Alexandru Moga and Carsten Franke (20 min)
  • Understanding How and Why Developers Seek and Analyze API-related Opinions [Journal First] by Gias Uddin, Olga Baysal, Latifa Guerrouj and Foutse Khomh (20 min)

Synthesis and Generation — Chair: Denys Poshyvanyk – Room: Allegro

  • Mitigating Power Side Channels during Compilation [Research] by Jingbo Wang, Chungha Sung and Chao Wang (20 min)
  • Maximal Multi-layer Specification Synthesis [Research] by Yanju Chen, Ruben Martins and Yu Feng (20 min)
  • Phoenix: Automated Data-Driven Synthesis of Repairs for Static Analysis Violations [Research] by Rohan Bavishi, Hiroaki Yoshida and Mukul Prasad (20 min)
  • Automated Documentation of Android Apps [Journal First] by Emad Aghajani, Gabriele Bavota, Mario Linares-Vásquez and Michele Lanza (20 min)

Thursday, 29-Aug-2019 — 16:00 to 17:30

Testing IV — Chair: Paolo Tonella – Room: Bolero 1

  • Black Box Fairness Testing of Machine Learning Models [Research] by Aniya Agarwal, Pranay Lohia, Seema Nagar, Kuntal Dey and Diptikalyan Saha (20 min)
  • Java Reflection API: Revealing the Dark Side of the Mirror [Research] by Felipe Pontes, Rohit Gheyi, Sabrina Souto, Alessandro Garcia and Márcio Ribeiro (20 min)
  • Characterizing Crowds to Better Optimize Worker Recommendation in Crowdsourced Testing [Journal First] by Junjie Wang, Song Wang, Jianfeng Chen, Tim Menzies, Qiang Cui, Miao Xie and Qing Wang (20 min)
  • Coverage Prediction for Accelerating Compiler Testing  [Journal First] by Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang and Bing Xie (20 min)

Empirical Software Engineering — Chair: Prem Devanbu – Room: Bolero 2

  • A Conceptual Replication of Continuous Integration Pain Points in the Context of Travis CI [Research] by David Widder, Michael Hilton, Christian Kästner and Bogdan Vasilescu (20 min)
  • Ethnographic Research in Software Engineering: A Critical Review and Checklist [Research] by He Zhang, Xin Huang, Xin Zhou, Huang Huang and Muhammad Ali Babar (20 min)
  • Mining Treatment-Outcome Constructs from Sequential Software Engineering Data [Journal First] by Maleknaz Nayebi, Guenther Ruhe and Tom Zimmermann (20 min)
  • Designing Corporate Hackathons With a Purpose: The Future of Software Development [Journal First] by Ei Pa Pa Pe-Than, Alexander Nolte, Anna Filippova, Christian Bird, Steve Scallen and James Herbsleb (20 min)

Architecture — Chair: Marin Šilić – Room: Andante

  • Achilles’ Heel of Plug-and-Play Software Architectures: A Grounded Theory Based Approach [Research] by Joanna Cecilia Da Silva Santos, Adriana Sejfia, Taylor Corrello, Smruthi Gadenkanahalli and Mehdi Mirakhorli (20 min)
  • Latent Error Prediction and Fault Localization for Microservice Applications by Learning from System Trace Logs  [Research] by Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang and Chuan He (20 min)
  • Governify for APIs: an SLA-Driven Ecosystem for API Governance [Tool Demo] by Antonio Gamez-Diaz, Pablo Fernandez and Antonio Ruiz-Cortés (10 min)
  • Evolution of the Unix System Architecture: An Exploratory Case Study [Journal First] by Diomidis Spinellis and Paris Avgeriou (20 min)
  • The role of limitations and SLAs in the API industry [Industry] by Antonio Gamez-Diaz, Pablo Fernandez, Antonio Ruiz-Cortés, Pedro J. Molina, Nikhil Kolekar, Prithpal Bhogill, Madhuranjan Mohaan and Francisco Méndez (20 min)

Security and Privacy — Chair: Gordon Fraser – Room: Allegro

  • The Importance of Accounting for Real-World Labelling When Predicting Software Vulnerabilities [Research] by Matthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon and Mark Harman (20 min)
  • Detecting Concurrency Memory Corruption Vulnerabilities [Research] by Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su and Bin Liang (20 min)
  • Locating Vulnerabilities in Binaries via Memory Layout Recovering [Research] by Haijun Wang, Xie Xiaofei, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu and Ting Liu (20 min)
  • Developing secure Bitcoin contracts with BitML [Tool Demo] by Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida and Roberto Zunino (10 min)
  • Toxic Code Snippets on Stack Overflow [Journal First] by Chaiyong Ragkhitwetsagul, Jens Krinke, Matheus Paixão, Giuseppe Bianco and Rocco Oliveto (20 min)

Friday, 30-Aug-2019 — 11:00 to 12:30

Program Analysis II — Chair: Diomidis Spinellis – Room: Bolero 1

  • Storm: Program Reduction for Testing and Debugging Probabilistic Programming Systems [Research] by Saikat Dutta, Wenxian Zhang, Zixin Huang and Sasa Misailovic (20 min)
  • NullAway: Practical Type-Based Null Safety for Java [Research] by Subarno Banerjee, Lazaro Clapp and Manu Sridharan (20 min)
  • DISCOVER: Detecting Algorithmic Complexity Vulnerabilities [Tool Demo] by Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland and Suresh Kothari (10 min)
  • Automatically Detecting Missing Cleanup for Ungraceful Exits [Research] by Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao and Ji Wang (20 min)

Model Checking — Chair: Domenico Bianculli – Room: Bolero 2

  • Finding and Understanding Bugs in Software Model Checkers [Research] by Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu and Zhendong Su (20 min)
  • A Segmented Memory Model for Symbolic Execution [Research] by Timotej Kapus and Cristian Cadar (20 min)
  • Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models [Industry] by Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel Briand, Stephen Foster and David Wolfe (20 min)
  • Model Checking a C++ Software Framework, a Case Study [Industry] by John Lång and Wishnu Prasetya (20 min)

Empirical Studies V — Chair: Audris Mockus – Room: Andante

  • Releasing Fast and Slow: An Exploratory Case Study at ING [Research] by Elvan Kula, Ayushi Rastogi, Hennie Huijgens, Arie van Deursen and Georgios Gousios (20 min)
  • An Empirical Study on the Potential Usefulness of Domain Models for Completeness Checking of Requirements [Journal First] by Chetan Arora, Mehrdad Sabetzadeh and Lionel Briand (20 min)
  • App Store Effects on Software Engineering Practices [Journal First] by Afnan Al-Subaihin, Federica Sarro, Sue Black, Licia Capra and Mark Harman (20 min)
  • Risks and Assets — a qualitative study of a software ecosystem in the mining industry [Industry] by Thomas Olsson and Ulrik Franks (20 min)

Data-driven Software Engineering — Chair: Chris Bird – Room: Allegro

  • Learning Cross-Language API Mappings with Little Knowledge [Research] by Nghi Bui, Yijun Yu and Lingxiao Jiang (20 min)
  • Robust Log-based Anomaly Detection on Unstable Log Data [Research] by 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 (20 min)
  • AnswerBot: An Answer Summary Generation Tool Based on Stack Overflow [Tool Demo] by Liang Cai, Haoye Wang, Bowen Xu, Qiao Huang, Xin Xia, David Lo and Zhenchang Xing (10 min)
  • ESSMArT Way to Manage Customer Requests [Journal First] by Maleknaz Nayebi, Liam Dicke, Ron Ittyipe, Chris Carlson and Guenther Ruhe (20 min)
  • Bridging the gap between ML solutions and their business requirements using feature interactions [Industry] by Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill and Marcel Zalmanovici (20 min)

Friday, 30-Aug-2019 — 16:00 to 17:30

Performance — Chair: Myra Cohen – Room: Bolero 1

  • Pinpointing Performance Inefficiencies in Java [Research] by Pengfei Su, Qingsen Wang, Milind Chabbi and Xu Liu (20 min)
  • iPerfDetector: Characterizing and Detecting Performance Anti-patterns in iOS Applications [Journal First] by Sara Seif Afjehei, Tse-Hsun Peter Chen and Nikolaos Tsantalis (20 min)
  • Performance Issues? Hey DevOps, mind the Uncertainty! [Journal First] by Catia Trubiani, Pooyan Jamshidi, Jurgen Cito, Weiyi Shang, Zhen Ming Jiang and Markus Borg (20 min)

Human and Social Factors II — Chair: Brittany Johnson – Room: Bolero 2

  • Effects of Explicit Feature Traceability on Program Comprehension [Research] by Jacob Krüger, Gul Calikli, Thorsten Berger, Thomas Leich, and Gunter Saake (20 min)
  • Does Distance Still Matter? Revisiting Collaborative Distributed Software Design [Journal First] by Rodi Jolak, Andreas Wortmann, Michel R. V. Chaudron and Bernhard Rumpe (20 min)
  • Design Thinking in Practice – Understanding manifestations of Design Thinking in Software Engineering [Industry] by Franziska Dobrigkeit and Danielly Paula (20 min)

Human and Social Factors III — Chair: Mehrdad Sabetzadeh – Room: Andante

  • SEntiMoji: An Emoji-Powered Learning Approach for Sentiment Analysis in Software Engineering [Research] by Zhenpeng Chen, Yanbin Cao, Xuan Lu, Qiaozhu Mei and Xuanzhe Liu (20 min)
  • Automatic Mining of Opinions Expressed About APIs in Stack Overflow [Journal First] by Gias Uddin and Foutse Khomh (20 min)
  • Eagle – A team practices audit framework for agile software development [Tool Demo] by Alejandro Guerrero Díaz, Rafael Fresno Aranda, An Ju, Pablo Fernandez, Carlos Müller, Antonio Ruiz-Cortés and Armando Fox (10 min)

ESEC/FSE’19 is followed by the co-located 11th Symposium on Search-Based Software Engineering (SSBSE)