MONDAY 3rd, SEPTEMBER

TUESDAY 4th, SEPTEMBER

WEDNESDAY 5th, SEPTEMBER

THURSDAY 6th, SEPTEMBER

FRIDAY 7th, SEPTEMBER

• description A Large-Scale Study of Test Coverage Evolution. Michael Hilton, Jonathan Bell, Darko Marinov.
• description An Empirical Study of Android Test Generation Tools in Industrial Cases. Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, Tao Xie.
• description Achieving Test Automation with Testers without Coding Skills: An Industrial Report. Davrondzhon Gafurov, Arne Erik Hurum, Martin Markman.
• description Effectiveness and Challenges in Generating Concurrent Tests for Thread-safe Classes. Valerio Terragni, Mauro Pezzé.
• build SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation. Farah Hariri, August Shi.
  Chair: José Miguel Rojas

• description On Adopting Linters to Deal with Performance Concerns in Android Apps. Sarra Habchi, Xavier Blanc, Romain Rouvoy.
• description PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames. Xue Han, Tingting Yu, David Lo.
• description AutoConfig: Automatic Configuration Tuning for Distributed Message Systems. Liang Bao, Xin Liu, Ziheng Xu, Baoyin Fang.
• description Is This Class Thread-Safe? Inferring Documentation using Graph-based Learning. Andrew Habib, Michael Pradel.
• build jStanley: Placing a Green Thumb on Java Collections. Rui Pereira, Pedro Simão, Jácome Cunha, João Saraiva.
  Chair: Michael Goedicke

• build CANAL: A Cache Timing Analysis Framework via LLVM Transformation. Chungha Sung, Brandon Paulsen, Chao Wang (University of Southern California)
• build code_call_lens: Raising the Developer Awareness of Critical Code. Andrea Janes, Michael Mairegger, Barbara Russo (Free University of Bozen-Bolzano)
• build Code2graph: Automatic Generation of Static Call-Graphs for Python Source Code. Gharib Gharibi, Rashmi Tripathi, Yugyung Lee (University of Missouri-Kansas City)
• build DroidMate-2: A Platform for Android Test Generation.Nataniel P. Borges Jr., Jenny Hotzkow, Andreas Zeller (Saarland University)
• build Lightweight source code monitoring with Triggr. Alim Ozdemir, Ayse Tosun (Istanbul Technical University); Hakan Erdogmus (Carnegie Mellon University); Rui Abreu (University of Lisbon)
• build Live Versioning of Web Applications through Refactoring. Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, Gustavo Rossi (LIFIA, Facultad de Informatica, UNLP)
• build OCELOT: a Search-Based Test-Data Generation Tool for C. Simone Scalabrino (University of Molise); Giovanni Grano (University of Zurich); Dario Di Nucci (Vrije Universiteit Brussel); Michele Guerra (University of Molise); Andrea De Lucia (University of Salerno); Harald C. Gall (University of Zurich); Rocco Oliveto (University of Molise)
• build VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary. Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun (Tsinghua University)
  Chair: Julia Lawall

• description Automated Directed Fairness Testing. Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay.
• description Concolic Testing for Deep Neural Networks. Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening.
• description DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang.
  ACM SIGSOFT Distinguished Paper
• description DeepRoad: GAN-based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems. Mengshi Zhang, Yugun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid.
• build OCELOT: a Search-Based Test-Data Generation Tool for C.Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, Rocco Oliveto.
  Chair: Shiva Nejati

• description Scalable Incremental Building with Dynamic Task Dependencies. Gabriël Konat, Sebastian Erdweg, Eelco Visser.
• description Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI. Keheliya Gallaba, Christian Macho, Martin Pinzger, Shane McIntosh.
• lightbulb_outline Continuous Code Quality: Are We (Really) Doing That? Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, Harald C. Gall.
• lightbulb_outline RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis. Foyzul Hassan, Rodney Rodriguez, Xiaoyin Wang.
• lightbulb_outline Delta Debugging Microservice Systems. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, Dan Ding.
• build Lightweight source code monitoring with Triggr. Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, Rui Abreu.
  Chair: Massimiliano Di Penta

• build CPA-SymExec: Efficient Symbolic Execution in CPAchecker. Dirk Beyer, Thomas Lemberger (LMU Munich)
• build Descartes: A PITest engine to detect pseudo-tested methods. Oscar Luis Vera Pérez (INRIA); Martin Monperrus, Benoit Baudry (KTH Royal Institute of Technology)
• build DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. Mohammad Roohitavaf, Sandeep Kulkarni (Michigan State University)
• build ESBMC 5.0: An Industrial-Strength C Model Checker. Mikhail Ramalho (University of Southampton); Felipe R. Monteiro (Federal University of Amazonas); Jeremy Morse (University of Bristol); Lucas Cordeiro (University of Manchester); Bernd Fischer (University of Stellenbosch); Denis Nicole (University of Southampton)
• build jStanley: Placing a Green Thumb on Java Collections. Rui Pereira (HASLab/INESC Tec & Universidade do Minho); Pedro Simão (NOVA LINCS, DI, FCT, Universidade NOVA de Lisboa); Jácome Cunha (NOVA LINCS, Universidade do Minho); João Saraiva (HASLab/INESC Tec & Universidade do Minho)
• build L-CMP: An Automatic Learning-based Parameterized Verification Tool. Jialun Cao, Yongjian Li (Chinese Academy of Sciences), Jun Pang (University of Luxembourg)
• build SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation. Farah Hariri, August Shi (University of Illinois at Urbana-Champaign)
• build The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications. Julien Brunel, David Chemouil (ONERA/DTIS & Université fédérale de Toulouse); Alcino Cunha, Nuno Macedo (INESC TEC & Universidade do Minho)
  Chair: Darko Marinov

• description Characterizing the Natural Language Descriptions in Software Logging Statements. Pinjia He, Zhuangbin Chen, Shilin he, Michael R. Lyu.
• description Assessing the Type Annotation Burden. John-Paul Ore, Sebastian Elbaum, Carrick Detweiler, Lambros Karkazis.
• description Mining File Histories: Should We Consider Branches? Vladimir Kovalenko, Fabio Palomba, Alberto Bacchelli.
• description Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions. Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, Yang Liu.
• lightbulb_outline Personalized Teammate Recommendation for Crowdsourced Software Developers. Luting Ye, Hailong Sun, Xu Wang, Jiaruijue Wang.
  Chair: Marouane Kessentini

• description Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search. Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter.
• description Navigating the Maze: The Impact of Configurability in Bioinformatics Software. Mikaela Cashman, Myra B. Cohen, Priya Ranjan, Robert W. Cottingham.
  ACM SIGSOFT Distinguished Paper
• description Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems. Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghoefer.
• description Understanding and Detecting Evolution-induced Compatibility Issues in Android Apps. Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue.
• build Live Versioning of Web Applications through Refactoring. Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, Gustavo Rossi.
  Chair: Julia Lawall

• description ReScue: Crafting Regular Expression DoS Attacks. Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu.
  ACM SIGSOFT Distinguished Paper
• description TDROID: Exposing App Switching Attacks in Android with Control Flow Specialization. Jie Liu, Diyu Wu, Jinling Xue.
• description Model-driven Run-time Enforcement of Complex Role-based Access Control Policies. Ameni Ben Fadhel, Domenico Bianculli, Lionel Briand.
• description ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. Bo Jiang, Ye Liu, W.K. Chan.
• lightbulb_outline S-gram: Towards Semantic-Aware Security Auditing For Ethereum Smart Contracts. Han Liu, Chao Liu, Wengi Zhao, Yu Jiang, Jiaguang Sun.
  Chair: Abhik Roychoudhury