ISSTA 2019 – Proceedings

Frontmatter

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

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 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

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

Practical Program Repair via Bytecode Mutation
Ali Ghanbari, Samuel Benton, and Lingming Zhang
(University of Texas at Dallas, USA)

Publisher's Version Info 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 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

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

QADroid: Regression Event Selection for Android Applications
Aman Sharma and Rupesh Nasre
(IIT Madras, India)

Publisher's Version 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

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

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

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

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 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

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

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 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 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 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 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 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 Info Artifacts Functional

Deferred Concretization in Symbolic Execution via Fuzzing
Awanish Pandey, Phani Raj Goutham Kotcharlakota, and Subhajit Roy
(IIT Kanpur, India)

Publisher's Version

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

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

Adlib: Analyzer for Mobile Ad Platform Libraries
Sungho Lee and Sukyoung Ryu
(KAIST, South Korea)

Publisher's Version Artifacts Functional Artifacts Reusable

Interactive Metamorphic Testing of Debuggers
Sandro Tolksdorf, Daniel Lehmann, and Michael Pradel
(TU Darmstadt, Germany)

Publisher's Version

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

Learning User Interface Element Interactions
Christian Degott, Nataniel P. Borges Jr., and Andreas Zeller
(CISPA, Germany)

Publisher's Version

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

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

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 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

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

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

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

VFQL: Combinational Static Analysis as Query Language
Guang Chen, Yuexing Wang, Min Zhou, and Jiaguang Sun
(Tsinghua University, China)

Publisher's Version

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

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

CoCoTest: Collaborative Crowdsourced Testing for Android Applications
Haoyu Li, Chunrong Fang, Zhibin Wei, and Zhenyu Chen
(Nanjing University, China)

Publisher's Version 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

JQF: Coverage-Guided Property-Based Testing in Java
Rohan Padhye, Caroline Lemieux, and Koushik Sen
(University of California at Berkeley, USA)

Publisher's Version

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

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

Doctoral Symposium

Continuous Software Performance Assessment: Detecting Performance Problems of Software Libraries on Every Build
Christoph Laaber
(University of Zurich, Switzerland)

Publisher's Version

Mining Constraints for Grammar Fuzzing
Michaël Mera
(CISPA, Germany)

Publisher's Version

A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases
Giovanni Grano
(University of Zurich, Switzerland)

Publisher's Version

A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis
Patrick Kwaku Kudjo and Jinfu Chen
(Jiangsu University, China)

Publisher's Version

Identifying Error Code Misuses in Complex System
Wensheng Tang
(Hong Kong University of Science and Technology, China)

Publisher's Version

Conditional Dynamic Partial Order Reduction and Optimality Results
Miguel Isabel
(Complutense University of Madrid, Spain)

Publisher's Version

Towards Scalable Defense of Information Flow Security for Distributed Systems
Xiaoqin Fu
(Washington State University, USA)

Publisher's Version

On the Correctness of GPU Programs
Chao Peng
(University of Edinburgh, UK)

Publisher's Version Info

JNI Program Analysis with Automatically Extracted C Semantic Summary
Sungho Lee
(KAIST, South Korea)

Publisher's Version

proc time: 7.1