| |
Albert, Elvira
|
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
Article: issta19main-p197-p doi:10.1145/3293882.3330565
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
Article: issta19tooldemos-p7-p doi:10.1145/3293882.3338999
|
| |
Alshahwan, Nadia |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Bell, Jonathan
|
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
Article: issta19main-p218-p doi:10.1145/3293882.3330568
|
| |
Benton, Samuel |
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
Article: issta19main-p93-p doi:10.1145/3293882.3330559
|
| |
Beresford, Alastair R. |
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
Article: issta19main-p160-p doi:10.1145/3293882.3330563
|
| |
Bissyandé, Tegawendé F. |
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
Article: issta19main-p277-p doi:10.1145/3293882.3330577
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
Article: issta19main-p231-p doi:10.1145/3293882.3330572
|
| |
Bodden, Eric |
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
Article: issta19main-p61-p doi:10.1145/3293882.3330556
|
| |
Borges Jr., Nataniel P. |
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
Article: issta19main-p219-p doi:10.1145/3293882.3330569
|
| |
Brown, Guy J. |
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
Article: issta19main-p13-p doi:10.1145/3293882.3330551
|
| |
Cai, Haipeng
|
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
Article: issta19main-p170-p doi:10.1145/3293882.3330564
|
| |
Chen, Guang |
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
Article: issta19tooldemos-p4-p doi:10.1145/3293882.3338997
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
Article: issta19tooldemos-p6-p doi:10.1145/3293882.3338998
|
| |
Chen, Hongxu |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Chen, Jinfu |
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
Article: issta19doc-id6-p doi:10.1145/3293882.3338985
|
| |
Chen, Junjie |
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
Article: issta19main-p284-p doi:10.1145/3293882.3330578
|
| |
Chen, Zhe |
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
Article: issta19main-p417-p doi:10.1145/3293882.3330581
|
| |
Chen, Zhenyu |
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
Article: issta19tooldemos-p8-p doi:10.1145/3293882.3339000
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
Article: issta19tooldemos-p17-p doi:10.1145/3293882.3339004
|
| |
Christakis, Maria |
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
Article: issta19main-p36-p doi:10.1145/3293882.3330553
|
| |
Ciancone, Andrea |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Coppik, Nicolas |
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
Article: issta19main-p239-p doi:10.1145/3293882.3330573
|
| |
Cordy, Maxime |
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
Article: issta19main-p399-p doi:10.1145/3293882.3330580
|
| |
Correas, Jesús |
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
Article: issta19tooldemos-p7-p doi:10.1145/3293882.3338999
|
| |
Cui, Baoquan |
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
Article: issta19tooldemos-p9-p doi:10.1145/3293882.3339001
|
| |
Degott, Christian
|
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
Article: issta19main-p219-p doi:10.1145/3293882.3330569
|
| |
De la Banda, Maria Garcia |
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
Article: issta19main-p197-p doi:10.1145/3293882.3330565
|
| |
Devroey, Xavier |
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
Article: issta19main-p29-p doi:10.1145/3293882.3330552
|
| |
Do, Lisa Nguyen Quang |
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
Article: issta19main-p61-p doi:10.1145/3293882.3330556
|
| |
Dor, Nurit |
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
Article: issta19inv-inv2-p doi:10.1145/3293882.3338992
|
| |
Eichberg, Michael
|
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
Article: issta19main-p60-p doi:10.1145/3293882.3330555
|
| |
Ernst, Michael D. |
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
Article: issta19inv-inv3-p doi:10.1145/3293882.3338993
|
| |
Fang, Chunrong
|
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
Article: issta19tooldemos-p8-p doi:10.1145/3293882.3339000
|
| |
Fazzini, Mattia |
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
Article: issta19main-p225-p doi:10.1145/3293882.3330571
|
| |
Feng, Yang |
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
Article: issta19tooldemos-p17-p doi:10.1145/3293882.3339004
|
| |
Fink, Stephen J. |
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
Article: issta19inv-inv2-p doi:10.1145/3293882.3338992
|
| |
Fraser, Gordon |
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
Article: issta19main-p13-p doi:10.1145/3293882.3330551
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
Article: issta19main-p202-p doi:10.1145/3293882.3330566
|
| |
Fu, Xiaoqin |
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
Article: issta19doc-id14-p doi:10.1145/3293882.3338988
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
Article: issta19main-p170-p doi:10.1145/3293882.3330564
|
| |
Gambi, Alessio
|
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
Article: issta19main-p202-p doi:10.1145/3293882.3330566
|
| |
Ganesh, Vijay |
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
Article: issta19inv-inv3-p doi:10.1145/3293882.3338993
|
| |
Gao, Jian |
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
|
| |
Gao, Jun |
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
Article: issta19main-p231-p doi:10.1145/3293882.3330572
|
| |
Gao, Xiang |
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
Article: issta19main-p84-p doi:10.1145/3293882.3330558
|
| |
Geay, Emmanuel |
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
Article: issta19inv-inv2-p doi:10.1145/3293882.3338992
|
| |
Ghanbari, Ali |
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
Article: issta19main-p93-p doi:10.1145/3293882.3330559
|
| |
Godefroid, Patrice |
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
Article: issta19main-p224-p doi:10.1145/3293882.3330570
|
| |
Golagha, Mojdeh |
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
Article: issta19main-p134-p doi:10.1145/3293882.3330561
|
| |
Gómez-Zamalloa, Miguel |
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
Article: issta19main-p197-p doi:10.1145/3293882.3330565
|
| |
Gordillo, Pablo |
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
Article: issta19tooldemos-p7-p doi:10.1145/3293882.3338999
|
| |
Gousios, Georgios |
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
Article: issta19main-p29-p doi:10.1145/3293882.3330552
|
| |
Grano, Giovanni |
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
Article: issta19doc-id3-p doi:10.1145/3293882.3338984
|
| |
Gu, Ming |
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
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
Article: issta19tooldemos-p6-p doi:10.1145/3293882.3338998
|
| |
Gu, Zuxing |
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
Article: issta19tooldemos-p6-p doi:10.1145/3293882.3338998
|
| |
Guo, Jiaqi |
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
Article: issta19main-p72-p doi:10.1145/3293882.3330557
|
| |
Guo, Philip J. |
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
Article: issta19inv-inv3-p doi:10.1145/3293882.3338993
|
| |
Hao, Dan
|
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
Article: issta19main-p284-p doi:10.1145/3293882.3330578
|
| |
Hao, Rui |
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
Article: issta19tooldemos-p17-p doi:10.1145/3293882.3339004
|
| |
Harman, Mark |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Helm, Dominik |
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
Article: issta19main-p60-p doi:10.1145/3293882.3330555
|
| |
Hobor, Aquinas |
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
Article: issta19main-p128-p doi:10.1145/3293882.3330560
|
| |
Hooimeijer, Pieter |
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
Article: issta19inv-inv3-p doi:10.1145/3293882.3338993
|
| |
Ilmberger, Hermann
|
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
Article: issta19main-p134-p doi:10.1145/3293882.3330561
|
| |
Isabel, Miguel |
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
Article: issta19doc-id11-p doi:10.1145/3293882.3338987
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
Article: issta19main-p197-p doi:10.1145/3293882.3330565
|
| |
Jia, Yue
|
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Jiang, Yu |
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
|
| |
Jones, James A. |
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
Article: issta19tooldemos-p17-p doi:10.1145/3293882.3339004
|
| |
Juefei-Xu, Felix |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Kan, Shuanglong
|
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
Article: issta19main-p417-p doi:10.1145/3293882.3330581
|
| |
Kechagia, Maria |
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
Article: issta19main-p29-p doi:10.1145/3293882.3330552
|
| |
Kiezun, Adam |
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
Article: issta19inv-inv3-p doi:10.1145/3293882.3338993
|
| |
Kim, Dongsun |
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
Article: issta19main-p277-p doi:10.1145/3293882.3330577
|
| |
Kintis, Marinos |
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
Article: issta19tooldemos-p16-p doi:10.1145/3293882.3339003
|
| |
Klein, Jacques |
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
Article: issta19main-p231-p doi:10.1145/3293882.3330572
|
| |
Klinger, Christian |
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
Article: issta19main-p36-p doi:10.1145/3293882.3330553
|
| |
Kollmann, Stephan A. |
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
Article: issta19main-p160-p doi:10.1145/3293882.3330563
|
| |
Kolluri, Aashish |
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
Article: issta19main-p128-p doi:10.1145/3293882.3330560
|
| |
Kong, Pingfan |
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
Article: issta19main-p231-p doi:10.1145/3293882.3330572
|
| |
Kotcharlakota, Phani Raj Goutham |
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
Article: issta19main-p45-p doi:10.1145/3293882.3330554
|
| |
Koyuncu, Anil |
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
Article: issta19main-p277-p doi:10.1145/3293882.3330577
|
| |
Kübler, Florian |
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
Article: issta19main-p60-p doi:10.1145/3293882.3330555
|
| |
Kudjo, Patrick Kwaku |
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
Article: issta19doc-id6-p doi:10.1145/3293882.3338985
|
| |
Laaber, Christoph
|
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
Article: issta19doc-id1-p doi:10.1145/3293882.3338982
|
| |
Lam, Wing |
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
Article: issta19main-p224-p doi:10.1145/3293882.3330570
|
| |
Lee, Sungho |
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
Article: issta19doc-id16-p doi:10.1145/3293882.3338990
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
Article: issta19main-p138-p doi:10.1145/3293882.3330562
|
| |
Lehmann, Daniel |
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
Article: issta19main-p217-p doi:10.1145/3293882.3330567
|
| |
Lehnhoff, Constantin |
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
Article: issta19main-p134-p doi:10.1145/3293882.3330561
|
| |
Lemieux, Caroline |
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
Article: issta19main-p272-p doi:10.1145/3293882.3330576
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
Article: issta19tooldemos-p13-p doi:10.1145/3293882.3339002
|
| |
Le Traon, Yves |
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
Article: issta19main-p399-p doi:10.1145/3293882.3330580
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
Article: issta19main-p272-p doi:10.1145/3293882.3330576
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
Article: issta19tooldemos-p16-p doi:10.1145/3293882.3339003
|
| |
Li, Bo |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Li, Chi |
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
Article: issta19tooldemos-p6-p doi:10.1145/3293882.3338998
|
| |
Li, Haoyu |
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
Article: issta19tooldemos-p8-p doi:10.1145/3293882.3339000
|
| |
Li, Li |
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
Article: issta19main-p170-p doi:10.1145/3293882.3330564
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
Article: issta19main-p231-p doi:10.1145/3293882.3330572
|
| |
Li, Shuyue |
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
Article: issta19main-p72-p doi:10.1145/3293882.3330557
|
| |
Li, Wei |
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
Article: issta19main-p255-p doi:10.1145/3293882.3330574
|
| |
Li, Xia |
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
Article: issta19main-p255-p doi:10.1145/3293882.3330574
|
| |
Li, Yuying |
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
Article: issta19tooldemos-p17-p doi:10.1145/3293882.3339004
|
| |
Liu, Kui |
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
Article: issta19main-p277-p doi:10.1145/3293882.3330577
|
| |
Liu, Ting |
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
Article: issta19main-p72-p doi:10.1145/3293882.3330557
|
| |
Liu, Yang |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Lorrach, Pierre |
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
Article: issta19tooldemos-p16-p doi:10.1145/3293882.3339003
|
| |
Lou, Jian-Guang |
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
Article: issta19main-p72-p doi:10.1145/3293882.3330557
|
| |
Lou, Yiling |
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
Article: issta19main-p284-p doi:10.1145/3293882.3330578
|
| |
Ma, Lei
|
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Ma, Xutong |
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
Article: issta19tooldemos-p9-p doi:10.1145/3293882.3339001
|
| |
Mao, Ke |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Marginean, Alexandru |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Marinov, Darko |
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
Article: issta19main-p218-p doi:10.1145/3293882.3330568
|
| |
Mechtaev, Sergey |
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
Article: issta19main-p84-p doi:10.1145/3293882.3330558
|
| |
Mera, Michaël |
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
Article: issta19doc-id2-p doi:10.1145/3293882.3338983
|
| |
Mezini, Mira |
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
Article: issta19main-p60-p doi:10.1145/3293882.3330555
|
| |
Mols, Alexander |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Mueller, Marc |
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
Article: issta19main-p202-p doi:10.1145/3293882.3330566
|
| |
Muller, Steve |
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
Article: issta19main-p399-p doi:10.1145/3293882.3330580
|
| |
Nasre, Rupesh
|
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
Article: issta19main-p9-p doi:10.1145/3293882.3330550
|
| |
Nath, Suman |
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
Article: issta19main-p224-p doi:10.1145/3293882.3330570
|
| |
Nikolic, Ivica |
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
Article: issta19main-p128-p doi:10.1145/3293882.3330560
|
| |
Orso, Alessandro
|
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
Article: issta19main-p225-p doi:10.1145/3293882.3330571
|
| |
Padhye, Rohan
|
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
Article: issta19main-p272-p doi:10.1145/3293882.3330576
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
Article: issta19tooldemos-p13-p doi:10.1145/3293882.3339002
|
| |
Pan, Linjie |
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
Article: issta19tooldemos-p9-p doi:10.1145/3293882.3339001
|
| |
Pandey, Awanish |
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
Article: issta19main-p45-p doi:10.1145/3293882.3330554
|
| |
Panichella, Annibale |
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
Article: issta19main-p29-p doi:10.1145/3293882.3330552
|
| |
Papadakis, Mike |
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
Article: issta19main-p399-p doi:10.1145/3293882.3330580
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
Article: issta19main-p272-p doi:10.1145/3293882.3330576
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
Article: issta19tooldemos-p16-p doi:10.1145/3293882.3339003
|
| |
Peleg, Hila |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Peng, Chao |
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
Article: issta19doc-id15-p doi:10.1145/3293882.3338989
|
| |
Piskachev, Goran |
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
Article: issta19main-p61-p doi:10.1145/3293882.3330556
|
| |
Pradel, Michael |
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
Article: issta19main-p217-p doi:10.1145/3293882.3330567
|
| |
Pretschner, Alexander |
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
Article: issta19main-p134-p doi:10.1145/3293882.3330561
|
| |
Qian, Ju
|
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
Article: issta19main-p417-p doi:10.1145/3293882.3330581
|
| |
Qin, Xue |
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
Article: issta19main-p268-p doi:10.1145/3293882.3330575
|
| |
Ramalingam, G.
|
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
Article: issta19inv-inv2-p doi:10.1145/3293882.3338992
|
| |
Reif, Michael |
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
Article: issta19main-p60-p doi:10.1145/3293882.3330555
|
| |
Román-Díez, Guillermo |
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
Article: issta19tooldemos-p7-p doi:10.1145/3293882.3338999
|
| |
Roy, Subhajit |
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
Article: issta19main-p45-p doi:10.1145/3293882.3330554
|
| |
Roychoudhury, Abhik |
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
Article: issta19main-p84-p doi:10.1145/3293882.3330558
|
| |
Rubio, Albert |
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
Article: issta19tooldemos-p7-p doi:10.1145/3293882.3338999
|
| |
Rwemalika, Renaud |
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
Article: issta19tooldemos-p16-p doi:10.1145/3293882.3339003
|
| |
Ryu, Sukyoung |
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
Article: issta19main-p138-p doi:10.1145/3293882.3330562
|
| |
Santhiar, Anirudh
|
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
Article: issta19main-p224-p doi:10.1145/3293882.3330570
|
| |
Sarro, Federica |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|
| |
Saxena, Prateek |
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
Article: issta19main-p128-p doi:10.1145/3293882.3330560
|
| |
Schwahn, Oliver |
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
Article: issta19main-p239-p doi:10.1145/3293882.3330573
|
| |
See, Simon |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Sen, Koushik |
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
Article: issta19main-p272-p doi:10.1145/3293882.3330576
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
Article: issta19tooldemos-p13-p doi:10.1145/3293882.3339002
|
| |
Sergey, Ilya |
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
Article: issta19main-p128-p doi:10.1145/3293882.3330560
|
| |
Sharma, Aman |
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
Article: issta19main-p9-p doi:10.1145/3293882.3330550
|
| |
Shi, August |
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
Article: issta19main-p218-p doi:10.1145/3293882.3330568
|
| |
Stuckey, Peter J. |
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
Article: issta19main-p197-p doi:10.1145/3293882.3330565
|
| |
Sun, Jiaguang |
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
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
Article: issta19tooldemos-p4-p doi:10.1145/3293882.3338997
|
| |
Suri, Neeraj |
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
Article: issta19main-p239-p doi:10.1145/3293882.3330573
|
| |
Tang, Wensheng
|
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
Article: issta19doc-id8-p doi:10.1145/3293882.3338986
|
| |
Thummalapenta, Suresh |
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
Article: issta19main-p224-p doi:10.1145/3293882.3330570
|
| |
Tolksdorf, Sandro |
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
Article: issta19main-p217-p doi:10.1145/3293882.3330567
|
| |
Van Deursen, Arie
|
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
Article: issta19main-p29-p doi:10.1145/3293882.3330552
|
| |
Wang, Cong
|
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
|
| |
Wang, Xiaoyin |
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
Article: issta19main-p268-p doi:10.1145/3293882.3330575
|
| |
Wang, Yuexing |
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
Article: issta19tooldemos-p4-p doi:10.1145/3293882.3338997
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
Article: issta19tooldemos-p6-p doi:10.1145/3293882.3338998
|
| |
Wei, Zhibin |
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
Article: issta19tooldemos-p8-p doi:10.1145/3293882.3339000
|
| |
White, Thomas D. |
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
Article: issta19main-p13-p doi:10.1145/3293882.3330551
|
| |
Winter, Stefan |
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
Article: issta19main-p239-p doi:10.1145/3293882.3330573
|
| |
Wu, Jiecheng |
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
Article: issta19tooldemos-p6-p doi:10.1145/3293882.3338998
|
| |
Wüstholz, Valentin |
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
Article: issta19main-p36-p doi:10.1145/3293882.3330553
|
| |
Xie, Xiaofei
|
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Xin, Qi |
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
Article: issta19main-p225-p doi:10.1145/3293882.3330571
|
| |
Xing, Zhenchang |
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
|
| |
Xue, Jingling |
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
Article: issta19main-p417-p doi:10.1145/3293882.3330581
|
| |
Xue, Minhui |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Yahav, Eran
|
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
Article: issta19inv-inv2-p doi:10.1145/3293882.3338992
|
| |
Yan, Jiwei |
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
Article: issta19tooldemos-p9-p doi:10.1145/3293882.3339001
|
| |
Yan, Jun |
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
Article: issta19tooldemos-p9-p doi:10.1145/3293882.3339001
|
| |
Yan, Junqi |
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
Article: issta19main-p417-p doi:10.1145/3293882.3330581
|
| |
Yang, Zijiang |
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
Article: issta19main-p72-p doi:10.1145/3293882.3330557
|
| |
Yin, Jianxiong |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Yin, Weiliang |
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
|
| |
Zeller, Andreas
|
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
Article: issta19main-p219-p doi:10.1145/3293882.3330569
|
| |
Zhang, Huafeng |
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
Article: issta19tooldemos-p2-p doi:10.1145/3293882.3338996
|
| |
Zhang, Jian |
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
Article: issta19tooldemos-p9-p doi:10.1145/3293882.3339001
|
| |
Zhang, Jiexin |
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
Article: issta19main-p160-p doi:10.1145/3293882.3330563
|
| |
Zhang, Lingming |
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
Article: issta19main-p255-p doi:10.1145/3293882.3330574
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
Article: issta19main-p93-p doi:10.1145/3293882.3330559
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
Article: issta19main-p284-p doi:10.1145/3293882.3330578
|
| |
Zhang, Lu |
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
Article: issta19main-p284-p doi:10.1145/3293882.3330578
|
| |
Zhang, Xiaofang |
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
Article: issta19tooldemos-p17-p doi:10.1145/3293882.3339004
|
| |
Zhang, Yuqun |
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
Article: issta19main-p255-p doi:10.1145/3293882.3330574
|
| |
Zhang, Ziyi |
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
Article: issta19main-p170-p doi:10.1145/3293882.3330564
|
| |
Zhao, Jianjun |
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
Article: issta19main-p339-p doi:10.1145/3293882.3330579
|
| |
Zhong, Hao |
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
Article: issta19main-p268-p doi:10.1145/3293882.3330575
|
| |
Zhou, Min |
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
Article: issta19tooldemos-p4-p doi:10.1145/3293882.3338997
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
Article: issta19tooldemos-p6-p doi:10.1145/3293882.3338998
|
| |
Zorin, Ilya |
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
Article: issta19inv-inv1-p doi:10.1145/3293882.3338991
|