ISSTA 2019
28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019)
Powered by
Conference Publishing Consulting

28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019), July 15–19, 2019, Beijing, China

ISSTA 2019 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Welcome from the Chairs
ISSTA 2019 Conference Organization
ISSTA 2019 Sponsors and Supporters

Invited Talks

Keynote

Some Challenges for Software Testing Research (Invited Talk Paper)
Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, and Ilya Zorin
(Facebook, UK; University College London, UK; Technion, Israel)
Publisher's Version Article Search

ISSTA 2019 Retrospective Impact Paper Award

From Typestate Verification to Interpretable Deep Models (Invited Talk Abstract)
Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, and Emmanuel Geay
(Technion, Israel; Facebook, USA; Kayhut, Israel; Microsoft Research, USA; Wayfair, USA)
Publisher's Version Article Search Info

ISSTA 2019 Impact Paper Award

Theory and Practice of String Solvers (Invited Talk Abstract)
Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, and Vijay Ganesh
(Amazon, USA; University of California at San Diego, USA; Facebook, USA; University of Washington, USA; University of Waterloo, Canada)
Publisher's Version Article Search

Main Research

Program Repair

Crash-Avoiding Program Repair
Xiang Gao, Sergey Mechtaev, and Abhik Roychoudhury
(National University of Singapore, Singapore; University College London, UK)
Publisher's Version Article Search
Practical Program Repair via Bytecode Mutation
Ali Ghanbari, Samuel Benton, and Lingming Zhang
(University of Texas at Dallas, USA)
Publisher's Version Article Search Info Artifacts Available Artifacts Functional
TBar: Revisiting Template-Based Automated Program Repair
Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawendé F. Bissyandé
(University of Luxembourg, Luxembourg)
Publisher's Version Article Search Artifacts Available Artifacts Functional
History-Driven Build Failure Fixing: How Far Are We?
Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, and Lu Zhang
(Peking University, China; University of Texas at Dallas, USA)
Publisher's Version Article Search

Mobile App Testing

LibID: Reliable Identification of Obfuscated Third-Party Android Libraries
Jiexin Zhang, Alastair R. Beresford, and Stephan A. Kollmann
(University of Cambridge, UK)
Publisher's Version Article Search
QADroid: Regression Event Selection for Android Applications
Aman Sharma and Rupesh Nasre
(IIT Madras, India)
Publisher's Version Article Search Artifacts Available Artifacts Functional Artifacts Reusable
Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems
Pingfan Kong, Li Li, Jun Gao, Tegawendé F. Bissyandé, and Jacques Klein
(University of Luxembourg, Luxembourg; Monash University, Australia)
Publisher's Version Article Search
Sara: Self-Replay Augmented Record and Replay for Android in Industrial Cases
Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, and Ting Liu
(Xi'an Jiaotong University, China; Microsoft Research, China; Western Michigan University, USA)
Publisher's Version Article Search

Regression Testing

Root Causing Flaky Tests in a Large-Scale Industrial Setting
Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, and Suresh Thummalapenta
(University of Illinois at Urbana-Champaign, USA; Microsoft, USA)
Publisher's Version Article Search
Mitigating the Effects of Flaky Tests on Mutation Testing
August Shi, Jonathan Bell, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; George Mason University, USA)
Publisher's Version Article Search Artifacts Available
Assessing the State and Improving the Art of Parallel Testing for C
Oliver Schwahn, Nicolas Coppik, Stefan Winter, and Neeraj Suri
(TU Darmstadt, Germany)
Publisher's Version Article Search Artifacts Available Artifacts Functional Artifacts Reusable
Failure Clustering without Coverage
Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, and Hermann Ilmberger
(TU Munich, Germany; BMW, Germany)
Publisher's Version Article Search

Testing and Machine Learning

DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, and Simon See
(Nanyang Technological University, Singapore; Kyushu University, Japan; Carnegie Mellon University, USA; University of Adelaide, Australia; Zhejiang Sci-Tech University, China; University of Illinois at Urbana-Champaign, USA; NVIDIA AI Tech Centre, Singapore)
Publisher's Version Article Search
Search-Based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems
Maxime Cordy, Steve Muller, Mike Papadakis, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Publisher's Version Article Search Info Artifacts Functional Artifacts Reusable
DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization
Xia Li, Wei Li, Yuqun Zhang, and Lingming Zhang
(University of Texas at Dallas, USA; Southern University of Science and Technology, China)
Publisher's Version Article Search Artifacts Available Artifacts Functional Artifacts Reusable
Codebase-Adaptive Detection of Security-Relevant Methods
Goran Piskachev, Lisa Nguyen Quang Do, and Eric Bodden
(Fraunhofer IEM, Germany; University of Paderborn, Germany)
Publisher's Version Article Search Artifacts Available Artifacts Functional

APIs and Symbolic Execution

Effective and Efficient API Misuse Detection via Exception Propagation and Search-Based Testing
Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, and Arie van Deursen
(University College London, UK; Delft University of Technology, Netherlands)
Publisher's Version Article Search Artifacts Available Artifacts Functional Artifacts Reusable
Automated API-Usage Update for Android Apps
Mattia Fazzini, Qi Xin, and Alessandro Orso
(Georgia Institute of Technology, USA)
Publisher's Version Article Search Artifacts Available Artifacts Functional
A Large-Scale Study of Application Incompatibilities in Android
Haipeng Cai, Ziyi Zhang, Li Li, and Xiaoqin Fu
(Washington State University, USA; Monash University, Australia)
Publisher's Version Article Search Info Artifacts Available Artifacts Functional
Deferred Concretization in Symbolic Execution via Fuzzing
Awanish Pandey, Phani Raj Goutham Kotcharlakota, and Subhajit Roy
(IIT Kanpur, India)
Publisher's Version Article Search

Static Analysis and Debugging

Differentially Testing Soundness and Precision of Program Analyzers
Christian Klinger, Maria Christakis, and Valentin Wüstholz
(Saarland University, Germany; MPI-SWS, Germany; ConsenSys Diligence, Germany)
Publisher's Version Article Search
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Article Search
Adlib: Analyzer for Mobile Ad Platform Libraries
Sungho Lee and Sukyoung Ryu
(KAIST, South Korea)
Publisher's Version Article Search Artifacts Available Artifacts Functional Artifacts Reusable
Interactive Metamorphic Testing of Debuggers
Sandro Tolksdorf, Daniel Lehmann, and Michael Pradel
(TU Darmstadt, Germany)
Publisher's Version Article Search

Testing GUIs and Cars

TestMig: Migrating GUI Test Cases from iOS to Android
Xue Qin, Hao Zhong, and Xiaoyin Wang
(University of Texas at San Antonio, USA; Shanghai Jiao Tong University, China)
Publisher's Version Article Search
Learning User Interface Element Interactions
Christian Degott, Nataniel P. Borges Jr., and Andreas Zeller
(CISPA, Germany)
Publisher's Version Article Search
Improving Random GUI Testing with Image-Based Widget Detection
Thomas D. White, Gordon Fraser, and Guy J. Brown
(University of Sheffield, UK; University of Passau, Germany)
Publisher's Version Article Search
Automatically Testing Self-Driving Cars with Search-Based Procedural Content Generation
Alessio Gambi, Marc Mueller, and Gordon Fraser
(University of Passau, Germany; BeamNG, Germany)
Publisher's Version Article Search

Potpourri

Semantic Fuzzing with Zest
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, and Yves Le Traon
(University of California at Berkeley, USA; University of Luxembourg, Luxembourg)
Publisher's Version Article Search Artifacts Available Artifacts Functional Artifacts Reusable
Detecting Memory Errors at Runtime with Source-Level Instrumentation
Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, and Jingling Xue
(Nanjing University of Aeronautics and Astronautics, China; UNSW, Australia)
Publisher's Version Article Search
Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, and Peter J. Stuckey
(Complutense University of Madrid, Spain; Monash University, Australia)
Publisher's Version Article Search
Exploiting the Laws of Order in Smart Contracts
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, and Prateek Saxena
(National University of Singapore, Singapore; Yale-NUS College, Singapore)
Publisher's Version Article Search

Tool Demonstration

Go-Clone: Graph-Embedding Based Clone Detector for Golang
Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Australian National University, Australia; Huawei Technologies, China)
Publisher's Version Article Search
VFQL: Combinational Static Analysis as Query Language
Guang Chen, Yuexing Wang, Min Zhou, and Jiaguang Sun
(Tsinghua University, China)
Publisher's Version Article Search
VBSAC: A Value-Based Static Analyzer for C
Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, and Ming Gu
(Tsinghua University, China)
Publisher's Version Article Search
SAFEVM: A Safety Verifier for Ethereum Smart Contracts
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio
(Complutense University of Madrid, Spain; Universidad Politécnica de Madrid, Spain)
Publisher's Version Article Search
CoCoTest: Collaborative Crowdsourced Testing for Android Applications
Haoyu Li, Chunrong Fang, Zhibin Wei, and Zhenyu Chen
(Nanjing University, China)
Publisher's Version Article Search Video
Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Peking University, China)
Publisher's Version Article Search
JQF: Coverage-Guided Property-Based Testing in Java
Rohan Padhye, Caroline Lemieux, and Koushik Sen
(University of California at Berkeley, USA)
Publisher's Version Article Search
Ukwikora: Continuous Inspection for Keyword-Driven Testing
Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, and Pierre Lorrach
(University of Luxembourg, Luxembourg; BGL BNP Paribas, Luxembourg)
Publisher's Version Article Search
CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports
Yuying Li, Rui Hao, Yang Feng, James A. Jones, Xiaofang Zhang, and Zhenyu Chen
(Nanjing University, China; University of California at Irvine, USA; Soochow University, China; Mooctest, China)
Publisher's Version Article Search

Doctoral Symposium

Continuous Software Performance Assessment: Detecting Performance Problems of Software Libraries on Every Build
Christoph Laaber
(University of Zurich, Switzerland)
Publisher's Version Article Search
Mining Constraints for Grammar Fuzzing
Michaël Mera
(CISPA, Germany)
Publisher's Version Article Search
A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases
Giovanni Grano
(University of Zurich, Switzerland)
Publisher's Version Article Search
A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis
Patrick Kwaku Kudjo and Jinfu Chen
(Jiangsu University, China)
Publisher's Version Article Search
Identifying Error Code Misuses in Complex System
Wensheng Tang
(Hong Kong University of Science and Technology, China)
Publisher's Version Article Search
Conditional Dynamic Partial Order Reduction and Optimality Results
Miguel Isabel
(Complutense University of Madrid, Spain)
Publisher's Version Article Search
Towards Scalable Defense of Information Flow Security for Distributed Systems
Xiaoqin Fu
(Washington State University, USA)
Publisher's Version Article Search
On the Correctness of GPU Programs
Chao Peng
(University of Edinburgh, UK)
Publisher's Version Article Search Info
JNI Program Analysis with Automatically Extracted C Semantic Summary
Sungho Lee
(KAIST, South Korea)
Publisher's Version Article Search

proc time: 9