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)


@InProceedings{ISSTA19p1, author = {Nadia Alshahwan and Andrea Ciancone and Mark Harman and Yue Jia and Ke Mao and Alexandru Marginean and Alexander Mols and Hila Peleg and Federica Sarro and Ilya Zorin}, title = {Some Challenges for Software Testing Research (Invited Talk Paper)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3293882.3338991}, year = {2019}, } 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)


@InProceedings{ISSTA19p4, author = {Eran Yahav and Stephen J. Fink and Nurit Dor and G. Ramalingam and Emmanuel Geay}, title = {From Typestate Verification to Interpretable Deep Models (Invited Talk Abstract)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {4-3}, doi = {10.1145/3293882.3338992}, year = {2019}, } Publisher's Version

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)


@InProceedings{ISSTA19p7, author = {Adam Kiezun and Philip J. Guo and Pieter Hooimeijer and Michael D. Ernst and Vijay Ganesh}, title = {Theory and Practice of String Solvers (Invited Talk Abstract)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3293882.3338993}, year = {2019}, } 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)


@InProceedings{ISSTA19p10, author = {Xiang Gao and Sergey Mechtaev and Abhik Roychoudhury}, title = {Crash-Avoiding Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {10-9}, doi = {10.1145/3293882.3330558}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p22, author = {Ali Ghanbari and Samuel Benton and Lingming Zhang}, title = {Practical Program Repair via Bytecode Mutation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3293882.3330559}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p34, author = {Kui Liu and Anil Koyuncu and Dongsun Kim and Tegawendé F. Bissyandé}, title = {TBar: Revisiting Template-Based Automated Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3293882.3330577}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p46, author = {Yiling Lou and Junjie Chen and Lingming Zhang and Dan Hao and Lu Zhang}, title = {History-Driven Build Failure Fixing: How Far Are We?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3293882.3330578}, year = {2019}, } 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)


@InProceedings{ISSTA19p58, author = {Jiexin Zhang and Alastair R. Beresford and Stephan A. Kollmann}, title = {LibID: Reliable Identification of Obfuscated Third-Party Android Libraries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3293882.3330563}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p70, author = {Aman Sharma and Rupesh Nasre}, title = {QADroid: Regression Event Selection for Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {70-69}, doi = {10.1145/3293882.3330550}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p82, author = {Pingfan Kong and Li Li and Jun Gao and Tegawendé F. Bissyandé and Jacques Klein}, title = {Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {82-81}, doi = {10.1145/3293882.3330572}, year = {2019}, } 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)


@InProceedings{ISSTA19p94, author = {Jiaqi Guo and Shuyue Li and Jian-Guang Lou and Zijiang Yang and Ting Liu}, title = {Sara: Self-Replay Augmented Record and Replay for Android in Industrial Cases}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {94-93}, doi = {10.1145/3293882.3330557}, year = {2019}, } 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)


@InProceedings{ISSTA19p106, author = {Wing Lam and Patrice Godefroid and Suman Nath and Anirudh Santhiar and Suresh Thummalapenta}, title = {Root Causing Flaky Tests in a Large-Scale Industrial Setting}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {106-105}, doi = {10.1145/3293882.3330570}, year = {2019}, } 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)


@InProceedings{ISSTA19p118, author = {August Shi and Jonathan Bell and Darko Marinov}, title = {Mitigating the Effects of Flaky Tests on Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {118-117}, doi = {10.1145/3293882.3330568}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p130, author = {Oliver Schwahn and Nicolas Coppik and Stefan Winter and Neeraj Suri}, title = {Assessing the State and Improving the Art of Parallel Testing for C}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {130-129}, doi = {10.1145/3293882.3330573}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Artifacts Reusable

Failure Clustering without Coverage
Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, and Hermann Ilmberger
(TU Munich, Germany; BMW, Germany)


@InProceedings{ISSTA19p142, author = {Mojdeh Golagha and Constantin Lehnhoff and Alexander Pretschner and Hermann Ilmberger}, title = {Failure Clustering without Coverage}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {142-141}, doi = {10.1145/3293882.3330561}, year = {2019}, } 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)


@InProceedings{ISSTA19p154, author = {Xiaofei Xie and Lei Ma and Felix Juefei-Xu and Minhui Xue and Hongxu Chen and Yang Liu and Jianjun Zhao and Bo Li and Jianxiong Yin and Simon See}, title = {DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3293882.3330579}, year = {2019}, } 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)


@InProceedings{ISSTA19p166, author = {Maxime Cordy and Steve Muller and Mike Papadakis and Yves Le Traon}, title = {Search-Based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {166-165}, doi = {10.1145/3293882.3330580}, year = {2019}, } Publisher's Version 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)


@InProceedings{ISSTA19p178, author = {Xia Li and Wei Li and Yuqun Zhang and Lingming Zhang}, title = {DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {178-177}, doi = {10.1145/3293882.3330574}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p190, author = {Goran Piskachev and Lisa Nguyen Quang Do and Eric Bodden}, title = {Codebase-Adaptive Detection of Security-Relevant Methods}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {190-189}, doi = {10.1145/3293882.3330556}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p202, author = {Maria Kechagia and Xavier Devroey and Annibale Panichella and Georgios Gousios and Arie van Deursen}, title = {Effective and Efficient API Misuse Detection via Exception Propagation and Search-Based Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {202-201}, doi = {10.1145/3293882.3330552}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p214, author = {Mattia Fazzini and Qi Xin and Alessandro Orso}, title = {Automated API-Usage Update for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {214-213}, doi = {10.1145/3293882.3330571}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p226, author = {Haipeng Cai and Ziyi Zhang and Li Li and Xiaoqin Fu}, title = {A Large-Scale Study of Application Incompatibilities in Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {226-225}, doi = {10.1145/3293882.3330564}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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


@InProceedings{ISSTA19p238, author = {Awanish Pandey and Phani Raj Goutham Kotcharlakota and Subhajit Roy}, title = {Deferred Concretization in Symbolic Execution via Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {238-237}, doi = {10.1145/3293882.3330554}, year = {2019}, } 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)


@InProceedings{ISSTA19p250, author = {Christian Klinger and Maria Christakis and Valentin Wüstholz}, title = {Differentially Testing Soundness and Precision of Program Analyzers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {250-249}, doi = {10.1145/3293882.3330553}, year = {2019}, } 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)


@InProceedings{ISSTA19p262, author = {Michael Reif and Florian Kübler and Michael Eichberg and Dominik Helm and Mira Mezini}, title = {Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {262-261}, doi = {10.1145/3293882.3330555}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p274, author = {Sungho Lee and Sukyoung Ryu}, title = {Adlib: Analyzer for Mobile Ad Platform Libraries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {10.1145/3293882.3330562}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Artifacts Reusable

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


@InProceedings{ISSTA19p286, author = {Sandro Tolksdorf and Daniel Lehmann and Michael Pradel}, title = {Interactive Metamorphic Testing of Debuggers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {286-285}, doi = {10.1145/3293882.3330567}, year = {2019}, } 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)


@InProceedings{ISSTA19p298, author = {Xue Qin and Hao Zhong and Xiaoyin Wang}, title = {TestMig: Migrating GUI Test Cases from iOS to Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {298-297}, doi = {10.1145/3293882.3330575}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p310, author = {Christian Degott and Nataniel P. Borges Jr. and Andreas Zeller}, title = {Learning User Interface Element Interactions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {310-309}, doi = {10.1145/3293882.3330569}, year = {2019}, } 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)


@InProceedings{ISSTA19p322, author = {Thomas D. White and Gordon Fraser and Guy J. Brown}, title = {Improving Random GUI Testing with Image-Based Widget Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {322-321}, doi = {10.1145/3293882.3330551}, year = {2019}, } 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)


@InProceedings{ISSTA19p334, author = {Alessio Gambi and Marc Mueller and Gordon Fraser}, title = {Automatically Testing Self-Driving Cars with Search-Based Procedural Content Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {334-333}, doi = {10.1145/3293882.3330566}, year = {2019}, } 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)


@InProceedings{ISSTA19p346, author = {Rohan Padhye and Caroline Lemieux and Koushik Sen and Mike Papadakis and Yves Le Traon}, title = {Semantic Fuzzing with Zest}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {346-345}, doi = {10.1145/3293882.3330576}, year = {2019}, } Publisher's Version Published Artifact 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)


@InProceedings{ISSTA19p358, author = {Zhe Chen and Junqi Yan and Shuanglong Kan and Ju Qian and Jingling Xue}, title = {Detecting Memory Errors at Runtime with Source-Level Instrumentation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {358-357}, doi = {10.1145/3293882.3330581}, year = {2019}, } 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)


@InProceedings{ISSTA19p370, author = {Elvira Albert and Maria Garcia de la Banda and Miguel Gómez-Zamalloa and Miguel Isabel and Peter J. Stuckey}, title = {Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {370-369}, doi = {10.1145/3293882.3330565}, year = {2019}, } 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)


@InProceedings{ISSTA19p382, author = {Aashish Kolluri and Ivica Nikolic and Ilya Sergey and Aquinas Hobor and Prateek Saxena}, title = {Exploiting the Laws of Order in Smart Contracts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {382-381}, doi = {10.1145/3293882.3330560}, year = {2019}, } 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)


@InProceedings{ISSTA19p394, author = {Cong Wang and Jian Gao and Yu Jiang and Zhenchang Xing and Huafeng Zhang and Weiliang Yin and Ming Gu and Jiaguang Sun}, title = {Go-Clone: Graph-Embedding Based Clone Detector for Golang}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {394-393}, doi = {10.1145/3293882.3338996}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p398, author = {Guang Chen and Yuexing Wang and Min Zhou and Jiaguang Sun}, title = {VFQL: Combinational Static Analysis as Query Language}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {398-397}, doi = {10.1145/3293882.3338997}, year = {2019}, } 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)


@InProceedings{ISSTA19p402, author = {Chi Li and Min Zhou and Zuxing Gu and Guang Chen and Yuexing Wang and Jiecheng Wu and Ming Gu}, title = {VBSAC: A Value-Based Static Analyzer for C}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {402-401}, doi = {10.1145/3293882.3338998}, year = {2019}, } 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)


@InProceedings{ISSTA19p406, author = {Elvira Albert and Jesús Correas and Pablo Gordillo and Guillermo Román-Díez and Albert Rubio}, title = {SAFEVM: A Safety Verifier for Ethereum Smart Contracts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {406-405}, doi = {10.1145/3293882.3338999}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p410, author = {Haoyu Li and Chunrong Fang and Zhibin Wei and Zhenyu Chen}, title = {CoCoTest: Collaborative Crowdsourced Testing for Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {410-409}, doi = {10.1145/3293882.3339000}, year = {2019}, } Publisher's Version

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)


@InProceedings{ISSTA19p414, author = {Linjie Pan and Baoquan Cui and Jiwei Yan and Xutong Ma and Jun Yan and Jian Zhang}, title = {Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {414-413}, doi = {10.1145/3293882.3339001}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p418, author = {Rohan Padhye and Caroline Lemieux and Koushik Sen}, title = {JQF: Coverage-Guided Property-Based Testing in Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {418-417}, doi = {10.1145/3293882.3339002}, year = {2019}, } 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)


@InProceedings{ISSTA19p422, author = {Renaud Rwemalika and Marinos Kintis and Mike Papadakis and Yves Le Traon and Pierre Lorrach}, title = {Ukwikora: Continuous Inspection for Keyword-Driven Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {422-421}, doi = {10.1145/3293882.3339003}, year = {2019}, } 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)


@InProceedings{ISSTA19p426, author = {Yuying Li and Rui Hao and Yang Feng and James A. Jones and Xiaofang Zhang and Zhenyu Chen}, title = {CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {426-425}, doi = {10.1145/3293882.3339004}, year = {2019}, } Publisher's Version

Doctoral Symposium

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


@InProceedings{ISSTA19p430, author = {Christoph Laaber}, title = {Continuous Software Performance Assessment: Detecting Performance Problems of Software Libraries on Every Build}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {10.1145/3293882.3338982}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p529, author = {Michaël Mera}, title = {Mining Constraints for Grammar Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {529-528}, doi = {10.1145/3293882.3338983}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p628, author = {Giovanni Grano}, title = {A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {628-627}, doi = {10.1145/3293882.3338984}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p727, author = {Patrick Kwaku Kudjo and Jinfu Chen}, title = {A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {727-726}, doi = {10.1145/3293882.3338985}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p826, author = {Wensheng Tang}, title = {Identifying Error Code Misuses in Complex System}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {826-825}, doi = {10.1145/3293882.3338986}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p925, author = {Miguel Isabel}, title = {Conditional Dynamic Partial Order Reduction and Optimality Results}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {925-924}, doi = {10.1145/3293882.3338987}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p1024, author = {Xiaoqin Fu}, title = {Towards Scalable Defense of Information Flow Security for Distributed Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1024-1023}, doi = {10.1145/3293882.3338988}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p1123, author = {Chao Peng}, title = {On the Correctness of GPU Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1123-1122}, doi = {10.1145/3293882.3338989}, year = {2019}, } Publisher's Version

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


@InProceedings{ISSTA19p1222, author = {Sungho Lee}, title = {JNI Program Analysis with Automatically Extracted C Semantic Summary}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1222-1221}, doi = {10.1145/3293882.3338990}, year = {2019}, } Publisher's Version

proc time: 0.72