ISSTA '19: "Optimal Context-Sensitive ..."
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
ISSTA '19: "SAFEVM: A Safety Verifier ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "Mitigating the Effects of ..."
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
ISSTA '19: "Practical Program Repair via ..."
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
ISSTA '19: "LibID: Reliable Identification ..."
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
ISSTA '19: "TBar: Revisiting Template-Based ..."
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
ISSTA '19: "Mining Android Crash Fixes ..."
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
ISSTA '19: "Codebase-Adaptive Detection ..."
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
ISSTA '19: "Learning User Interface Element ..."
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
ISSTA '19: "Improving Random GUI Testing ..."
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
ISSTA '19: "A Large-Scale Study of Application ..."
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
ISSTA '19: "VFQL: Combinational Static ..."
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
ISSTA '19: "VBSAC: A Value-Based Static ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "A Cost-Effective Strategy ..."
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
ISSTA '19: "History-Driven Build Failure ..."
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
ISSTA '19: "Detecting Memory Errors at ..."
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
ISSTA '19: "CoCoTest: Collaborative Crowdsourced ..."
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
ISSTA '19: "CTRAS: A Tool for Aggregating ..."
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
ISSTA '19: "Differentially Testing Soundness ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "Assessing the State and Improving ..."
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
ISSTA '19: "Search-Based Test and Improvement ..."
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
ISSTA '19: "SAFEVM: A Safety Verifier ..."
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
ISSTA '19: "Androlic: An Extensible Flow, ..."
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
ISSTA '19: "Learning User Interface Element ..."
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
ISSTA '19: "Optimal Context-Sensitive ..."
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
ISSTA '19: "Effective and Efficient API ..."
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
ISSTA '19: "Codebase-Adaptive Detection ..."
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
ISSTA '19: "From Typestate Verification ..."
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 '19: "Judge: Identifying, Understanding, ..."
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
ISSTA '19: "Theory and Practice of String ..."
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
ISSTA '19: "CoCoTest: Collaborative Crowdsourced ..."
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
ISSTA '19: "Automated API-Usage Update ..."
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
ISSTA '19: "CTRAS: A Tool for Aggregating ..."
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
ISSTA '19: "From Typestate Verification ..."
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 '19: "Improving Random GUI Testing ..."
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
ISSTA '19: "Automatically Testing Self-Driving ..."
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
ISSTA '19: "Towards Scalable Defense of ..."
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
ISSTA '19: "A Large-Scale Study of Application ..."
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
ISSTA '19: "Automatically Testing Self-Driving ..."
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
ISSTA '19: "Theory and Practice of String ..."
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
ISSTA '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "Mining Android Crash Fixes ..."
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
ISSTA '19: "Crash-Avoiding 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
ISSTA '19: "From Typestate Verification ..."
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 '19: "Practical Program Repair via ..."
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
ISSTA '19: "Root Causing Flaky Tests in ..."
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
ISSTA '19: "Failure Clustering without ..."
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
ISSTA '19: "Optimal Context-Sensitive ..."
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
ISSTA '19: "SAFEVM: A Safety Verifier ..."
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
ISSTA '19: "Effective and Efficient API ..."
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
ISSTA '19: "A New Dimension of Test Quality: ..."
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
ISSTA '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "VBSAC: A Value-Based Static ..."
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
ISSTA '19: "VBSAC: A Value-Based Static ..."
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
ISSTA '19: "Sara: Self-Replay Augmented ..."
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
ISSTA '19: "Theory and Practice of String ..."
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
ISSTA '19: "History-Driven Build Failure ..."
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
ISSTA '19: "CTRAS: A Tool for Aggregating ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "Judge: Identifying, Understanding, ..."
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
ISSTA '19: "Exploiting the Laws of Order ..."
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
ISSTA '19: "Theory and Practice of String ..."
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
ISSTA '19: "Failure Clustering without ..."
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
ISSTA '19: "Conditional Dynamic Partial ..."
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
ISSTA '19: "Optimal Context-Sensitive ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "CTRAS: A Tool for Aggregating ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "Detecting Memory Errors at ..."
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
ISSTA '19: "Effective and Efficient API ..."
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
ISSTA '19: "Theory and Practice of String ..."
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
ISSTA '19: "TBar: Revisiting Template-Based ..."
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
ISSTA '19: "Ukwikora: Continuous Inspection ..."
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
ISSTA '19: "Mining Android Crash Fixes ..."
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
ISSTA '19: "Differentially Testing Soundness ..."
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
ISSTA '19: "LibID: Reliable Identification ..."
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
ISSTA '19: "Exploiting the Laws of Order ..."
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
ISSTA '19: "Mining Android Crash Fixes ..."
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
ISSTA '19: "Deferred Concretization in ..."
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
ISSTA '19: "TBar: Revisiting Template-Based ..."
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
ISSTA '19: "Judge: Identifying, Understanding, ..."
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
ISSTA '19: "A Cost-Effective Strategy ..."
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
ISSTA '19: "Continuous Software Performance ..."
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
ISSTA '19: "Root Causing Flaky Tests in ..."
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
ISSTA '19: "JNI Program Analysis with ..."
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
ISSTA '19: "Adlib: Analyzer for Mobile ..."
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
ISSTA '19: "Interactive Metamorphic Testing ..."
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
ISSTA '19: "Failure Clustering without ..."
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
ISSTA '19: "Semantic Fuzzing with Zest ..."
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
ISSTA '19: "JQF: Coverage-Guided Property-Based ..."
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
ISSTA '19: "Search-Based Test and Improvement ..."
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
ISSTA '19: "Semantic Fuzzing with Zest ..."
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
ISSTA '19: "Ukwikora: Continuous Inspection ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "VBSAC: A Value-Based Static ..."
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
ISSTA '19: "CoCoTest: Collaborative Crowdsourced ..."
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
ISSTA '19: "A Large-Scale Study of Application ..."
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
ISSTA '19: "Mining Android Crash Fixes ..."
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
ISSTA '19: "Sara: Self-Replay Augmented ..."
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
ISSTA '19: "DeepFL: Integrating Multiple ..."
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
ISSTA '19: "DeepFL: Integrating Multiple ..."
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
ISSTA '19: "CTRAS: A Tool for Aggregating ..."
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
ISSTA '19: "TBar: Revisiting Template-Based ..."
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
ISSTA '19: "Sara: Self-Replay Augmented ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "Ukwikora: Continuous Inspection ..."
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
ISSTA '19: "Sara: Self-Replay Augmented ..."
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
ISSTA '19: "History-Driven Build Failure ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "Androlic: An Extensible Flow, ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "Some Challenges for Software ..."
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 '19: "Mitigating the Effects of ..."
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
ISSTA '19: "Crash-Avoiding 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
ISSTA '19: "Mining Constraints for Grammar ..."
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
ISSTA '19: "Judge: Identifying, Understanding, ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "Automatically Testing Self-Driving ..."
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
ISSTA '19: "Search-Based Test and Improvement ..."
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
ISSTA '19: "QADroid: Regression Event ..."
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
ISSTA '19: "Root Causing Flaky Tests in ..."
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
ISSTA '19: "Exploiting the Laws of Order ..."
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
ISSTA '19: "Automated API-Usage Update ..."
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
ISSTA '19: "Semantic Fuzzing with Zest ..."
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
ISSTA '19: "JQF: Coverage-Guided Property-Based ..."
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
ISSTA '19: "Androlic: An Extensible Flow, ..."
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
ISSTA '19: "Deferred Concretization in ..."
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
ISSTA '19: "Effective and Efficient API ..."
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
ISSTA '19: "Search-Based Test and Improvement ..."
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
ISSTA '19: "Semantic Fuzzing with Zest ..."
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
ISSTA '19: "Ukwikora: Continuous Inspection ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "On the Correctness of GPU ..."
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
ISSTA '19: "Codebase-Adaptive Detection ..."
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
ISSTA '19: "Interactive Metamorphic Testing ..."
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
ISSTA '19: "Failure Clustering without ..."
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
ISSTA '19: "Detecting Memory Errors at ..."
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
ISSTA '19: "TestMig: Migrating GUI Test ..."
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
ISSTA '19: "From Typestate Verification ..."
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 '19: "Judge: Identifying, Understanding, ..."
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
ISSTA '19: "SAFEVM: A Safety Verifier ..."
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
ISSTA '19: "Deferred Concretization in ..."
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
ISSTA '19: "Crash-Avoiding 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
ISSTA '19: "SAFEVM: A Safety Verifier ..."
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
ISSTA '19: "Ukwikora: Continuous Inspection ..."
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
ISSTA '19: "Adlib: Analyzer for Mobile ..."
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
ISSTA '19: "Root Causing Flaky Tests in ..."
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
ISSTA '19: "Some Challenges for Software ..."
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 '19: "Exploiting the Laws of Order ..."
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
ISSTA '19: "Assessing the State and Improving ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "Semantic Fuzzing with Zest ..."
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
ISSTA '19: "JQF: Coverage-Guided Property-Based ..."
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
ISSTA '19: "Exploiting the Laws of Order ..."
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
ISSTA '19: "QADroid: Regression Event ..."
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
ISSTA '19: "Mitigating the Effects of ..."
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
ISSTA '19: "Optimal Context-Sensitive ..."
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
ISSTA '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "VFQL: Combinational Static ..."
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
ISSTA '19: "Assessing the State and Improving ..."
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
ISSTA '19: "Identifying Error Code Misuses ..."
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
ISSTA '19: "Root Causing Flaky Tests in ..."
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
ISSTA '19: "Interactive Metamorphic Testing ..."
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
ISSTA '19: "Effective and Efficient API ..."
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
ISSTA '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "TestMig: Migrating GUI Test ..."
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
ISSTA '19: "VFQL: Combinational Static ..."
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
ISSTA '19: "VBSAC: A Value-Based Static ..."
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
ISSTA '19: "CoCoTest: Collaborative Crowdsourced ..."
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
ISSTA '19: "Improving Random GUI Testing ..."
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
ISSTA '19: "Assessing the State and Improving ..."
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
ISSTA '19: "VBSAC: A Value-Based Static ..."
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
ISSTA '19: "Differentially Testing Soundness ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "Automated API-Usage Update ..."
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
ISSTA '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "Detecting Memory Errors at ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "From Typestate Verification ..."
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 '19: "Androlic: An Extensible Flow, ..."
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
ISSTA '19: "Androlic: An Extensible Flow, ..."
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
ISSTA '19: "Detecting Memory Errors at ..."
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
ISSTA '19: "Sara: Self-Replay Augmented ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "Learning User Interface Element ..."
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
ISSTA '19: "Go-Clone: Graph-Embedding ..."
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
ISSTA '19: "Androlic: An Extensible Flow, ..."
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
ISSTA '19: "LibID: Reliable Identification ..."
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
ISSTA '19: "DeepFL: Integrating Multiple ..."
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
ISSTA '19: "Practical Program Repair via ..."
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
ISSTA '19: "History-Driven Build Failure ..."
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
ISSTA '19: "History-Driven Build Failure ..."
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
ISSTA '19: "CTRAS: A Tool for Aggregating ..."
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
ISSTA '19: "DeepFL: Integrating Multiple ..."
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
ISSTA '19: "A Large-Scale Study of Application ..."
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
ISSTA '19: "DeepHunter: A Coverage-Guided ..."
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
ISSTA '19: "TestMig: Migrating GUI Test ..."
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
ISSTA '19: "VFQL: Combinational Static ..."
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
ISSTA '19: "VBSAC: A Value-Based Static ..."
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
ISSTA '19: "Some Challenges for Software ..."
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