Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/issta/issta2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/issta/0002TTP23,
author = {Daniel Lehmann and
Michelle Thalakottur and
Frank Tip and
Michael Pradel},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {That's a Tough Call: Studying the Challenges of Call Graph Construction
for WebAssembly},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {892--903},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598104},
doi = {10.1145/3597926.3598104},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/0002TTP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/0003CJHLD23,
author = {Lei Cui and
Jiancong Cui and
Yuede Ji and
Zhiyu Hao and
Lun Li and
Zhenquan Ding},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {API2Vec: Learning Representations of {API} Sequences for Malware Detection},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {261--273},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598054},
doi = {10.1145/3597926.3598054},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/0003CJHLD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlonsoSR23,
author = {Juan C. Alonso and
Sergio Segura and
Antonio Ruiz{-}Cort{\'{e}}s},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{AGORA:} Automated Generation of Test Oracles for {REST} APIs},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1018--1030},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598114},
doi = {10.1145/3597926.3598114},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/AlonsoSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlsaeedY23,
author = {Ziyad Alsaeed and
Michal Young},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Finding Short Slow Inputs Faster with Grammar-Based Search},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1068--1079},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598118},
doi = {10.1145/3597926.3598118},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/AlsaeedY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlsaeedY23a,
author = {Ziyad Alsaeed and
Michal Young},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee
Break},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1507--1510},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604925},
doi = {10.1145/3597926.3604925},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/AlsaeedY23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BaoS00Z23,
author = {Shenglin Bao and
Chaofeng Sha and
Bihuan Chen and
Xin Peng and
Wenyun Zhao},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {In Defense of Simple Techniques for Neural Network Test Case Selection},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {501--513},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598073},
doi = {10.1145/3597926.3598073},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BaoS00Z23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BruceKMB023,
author = {Dan Bruce and
David Kelly and
H{\'{e}}ctor D. Men{\'{e}}ndez and
Earl T. Barr and
David Clark},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {June: {A} Type Testability Transformation for Improved {ATG} Performance},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {274--284},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598055},
doi = {10.1145/3597926.3598055},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BruceKMB023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BuZLDBCL23,
author = {Lei Bu and
Qiuping Zhang and
Suwan Li and
Jinglin Dai and
Guangdong Bai and
Kai Chen and
Xuandong Li},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Security Checking of Trigger-Action-Programming Smart Home Integrations},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {639--651},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598084},
doi = {10.1145/3597926.3598084},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BuZLDBCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CallaghanF23,
author = {Dylan Callaghan and
Bernd Fischer},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Improving Spectrum-Based Localization of Multiple Faults by Iterative
Test Suite Reduction},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1445--1457},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598148},
doi = {10.1145/3597926.3598148},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/CallaghanF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChenLHWZHLWLQ23,
author = {Zhuo Chen and
Jie Liu and
Yubo Hu and
Lei Wu and
Yajin Zhou and
Yiling He and
Xianhao Liao and
Ke Wang and
Jinku Li and
Zhan Qin},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {DeUEDroid: Detecting Underground Economy Apps Based on {UTG} Similarity},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {223--235},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598051},
doi = {10.1145/3597926.3598051},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChenLHWZHLWLQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChenRDTLY23,
author = {Chu Chen and
Pinghong Ren and
Zhenhua Duan and
Cong Tian and
Xu Lu and
Bin Yu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{SBDT:} Search-Based Differential Testing of Certificate Parsers in
{SSL/TLS} Implementations},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {967--979},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598110},
doi = {10.1145/3597926.3598110},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChenRDTLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChenWL023,
author = {Simin Chen and
Shiyi Wei and
Cong Liu and
Wei Yang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {DyCL: Dynamic Neural Network Compilation Via Program Rewriting and
Graph Optimization},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {614--626},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598082},
doi = {10.1145/3597926.3598082},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChenWL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChenYMJ23,
author = {Yang Chen and
Alperen Yildiz and
Darko Marinov and
Reyhaneh Jabbarvand},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Transforming Test Suites into Croissants},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1080--1092},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598119},
doi = {10.1145/3597926.3598119},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChenYMJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChengZLG0LZYS23,
author = {Kai Cheng and
Yaowen Zheng and
Tao Liu and
Le Guan and
Peng Liu and
Hong Li and
Hongsong Zhu and
Kejiang Ye and
Limin Sun},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based
On-Demand Alias Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {360--372},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598062},
doi = {10.1145/3597926.3598062},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChengZLG0LZYS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChengZX23,
author = {Mingfei Cheng and
Yuan Zhou and
Xiaofei Xie},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving
Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {488--500},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598072},
doi = {10.1145/3597926.3598072},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChengZX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChesserNR23,
author = {Michael Chesser and
Surya Nepal and
Damith C. Ranasinghe},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Icicle: {A} Re-designed Emulator for Grey-Box Firmware Fuzzing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {76--88},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598039},
doi = {10.1145/3597926.3598039},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChesserNR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChowSP23,
author = {Yiu Wai Chow and
Max Sch{\"{a}}fer and
Michael Pradel},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Beware of the Unexpected: Bimodal Taint Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {211--222},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598050},
doi = {10.1145/3597926.3598050},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChowSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DaoudiABK23,
author = {Nadia Daoudi and
Kevin Allix and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Jacques Klein},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Guided Retraining to Enhance the Detection of Difficult Android Malware},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1131--1143},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598123},
doi = {10.1145/3597926.3598123},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DaoudiABK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DengXPY023,
author = {Yinlin Deng and
Chunqiu Steven Xia and
Haoran Peng and
Chenyuan Yang and
Lingming Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning
Libraries via Large Language Models},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {423--435},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598067},
doi = {10.1145/3597926.3598067},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DengXPY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DingCBPMKR23,
author = {Yangruibo Ding and
Saikat Chakraborty and
Luca Buratti and
Saurabh Pujar and
Alessandro Morari and
Gail E. Kaiser and
Baishakhi Ray},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{CONCORD:} Clone-Aware Contrastive Learning for Source Code},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {26--38},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598035},
doi = {10.1145/3597926.3598035},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DingCBPMKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Dong0J23,
author = {Yihong Dong and
Ge Li and
Zhi Jin},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{CODEP:} Grammatical Seq2Seq Model for General-Purpose Code Generation},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {188--198},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598048},
doi = {10.1145/3597926.3598048},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Dong0J23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Downing23,
author = {Mara Downing},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Quantitative Robustness Analysis of Neural Networks},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1527--1531},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3605231},
doi = {10.1145/3597926.3605231},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Downing23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DuPJ23,
author = {Hang Du and
Vijay Krishna Palepu and
James A. Jones},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {To Kill a Mutant: An Empirical Study of Mutation Testing Kills},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {715--726},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598090},
doi = {10.1145/3597926.3598090},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DuPJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EiersSB23,
author = {William Eiers and
Ganesh Sankaran and
Tevfik Bultan},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Quantitative Policy Repair for Access Control on the Cloud},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {564--575},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598078},
doi = {10.1145/3597926.3598078},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/EiersSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EiseleEHZ23,
author = {Max Eisele and
Daniel Ebert and
Christopher Huth and
Andreas Zeller},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Fuzzing Embedded Systems using Debug Interfaces},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1031--1042},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598115},
doi = {10.1145/3597926.3598115},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/EiseleEHZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Even-MendozaSDC23,
author = {Karine Even{-}Mendoza and
Arindam Sharma and
Alastair F. Donaldson and
Cristian Cadar},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {GrayC: Greybox Fuzzing of Compilers and Analysers for {C}},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1219--1231},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598130},
doi = {10.1145/3597926.3598130},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Even-MendozaSDC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FanTR23,
author = {Zhiyu Fan and
Shin Hwei Tan and
Abhik Roychoudhury},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Concept-Based Automated Grading of {CS-1} Programming Assignments},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {199--210},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598049},
doi = {10.1145/3597926.3598049},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FanTR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FangWYWCCLJ23,
author = {Yuzhou Fang and
Daoyuan Wu and
Xiao Yi and
Shuai Wang and
Yufan Chen and
Mengjie Chen and
Yang Liu and
Lingxiao Jiang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Beyond "Protected" and "Private": An Empirical Security Analysis of
Custom Function Modifiers in Smart Contracts},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1157--1168},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598125},
doi = {10.1145/3597926.3598125},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/FangWYWCCLJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FangZXL23,
author = {Pengcheng Fang and
Zhenhua Zou and
Xusheng Xiao and
Zhuotao Liu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {iSyn: Semi-automated Smart Contract Synthesis from Legal Financial
Agreements},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {727--739},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598091},
doi = {10.1145/3597926.3598091},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FangZXL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FerreiraJ23,
author = {Francisco Ferreira and
Sung{-}Shik Jongmans},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Oven: Safe and Live Communication Protocols in Scala, using Synthetic
Behavioural Type Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1511--1514},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604926},
doi = {10.1145/3597926.3604926},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FerreiraJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Gao0ZZ023,
author = {Tianchang Gao and
Junjie Chen and
Yingquan Zhao and
Yuqun Zhang and
Lingming Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Vectorizing Program Ingredients for Better {JVM} Testing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {526--537},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598075},
doi = {10.1145/3597926.3598075},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Gao0ZZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GaoZM00W23,
author = {Xuanqi Gao and
Juan Zhai and
Shiqing Ma and
Chao Shen and
Yufei Chen and
Shiwei Wang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{CILIATE:} Towards Fairer Class-Based Incremental Learning by Dataset
and Training Refinement},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {475--487},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598071},
doi = {10.1145/3597926.3598071},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GaoZM00W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GharachorluS23,
author = {Golnaz Gharachorlu and
Nick Sumner},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Type Batched Program Reduction},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {398--410},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598065},
doi = {10.1145/3597926.3598065},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GharachorluS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Guo23,
author = {Huizhong Guo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Fairness Testing for Recommender Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1546--1548},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3605235},
doi = {10.1145/3597926.3605235},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Guo23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuoLWL0HZ023,
author = {Huizhong Guo and
Jinfeng Li and
Jingyi Wang and
Xiangyu Liu and
Dongxia Wang and
Zehong Hu and
Rong Zhang and
Hui Xue},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {FairRec: Fairness Testing for Deep Recommender Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {310--321},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598058},
doi = {10.1145/3597926.3598058},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GuoLWL0HZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HeGGX23,
author = {Dongjie He and
Yujiang Gui and
Yaoqing Gao and
Jingling Xue},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using
Fine-Grained Garbage Collection},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {101--113},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598041},
doi = {10.1145/3597926.3598041},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HeGGX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HeWWZZ023,
author = {Yichen He and
Liran Wang and
Kaiyi Wang and
Yupeng Zhang and
Hang Zhang and
Zhoujun Li},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{COME:} Commit Message Generation with Modification Embedding},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {792--803},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598096},
doi = {10.1145/3597926.3598096},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HeWWZZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HeZW0GWLLC023,
author = {Ningyu He and
Zhehao Zhao and
Jikai Wang and
Yubin Hu and
Shengjian Guo and
Haoyu Wang and
Guangtai Liang and
Ding Li and
Xiangqun Chen and
Yao Guo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically
Executing WebAssembly Binaries},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {385--397},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598064},
doi = {10.1145/3597926.3598064},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HeZW0GWLLC023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HildebrandtSE23,
author = {Carl Hildebrandt and
Meriel von Stein and
Sebastian G. Elbaum},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {PhysCov: Physical Test Coverage for Autonomous Vehicles},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {449--461},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598069},
doi = {10.1145/3597926.3598069},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HildebrandtSE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuW0C23,
author = {Jiajun Hu and
Lili Wei and
Yepang Liu and
Shing{-}Chi Cheung},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{\(\omega\)}Test: WebView-Oriented Testing for Android Applications},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {992--1004},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598112},
doi = {10.1145/3597926.3598112},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HuW0C23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuWLPWZ023,
author = {Yutao Hu and
Suyuan Wang and
Wenke Li and
Junru Peng and
Yueming Wu and
Deqing Zou and
Hai Jin},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1407--1419},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598145},
doi = {10.1145/3597926.3598145},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HuWLPWZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuXFWYZ023,
author = {Tiancheng Hu and
Zijing Xu and
Yilin Fang and
Yueming Wu and
Bin Yuan and
Deqing Zou and
Hai Jin},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract
Syntax Tree},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {89--100},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598040},
doi = {10.1145/3597926.3598040},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HuXFWYZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuaLRLZJ023,
author = {Ziyue Hua and
Wei Lin and
Luyao Ren and
Zongyang Li and
Lu Zhang and
Wenpin Jiao and
Tao Xie},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {GDsmith: Detecting Bugs in Cypher Graph Database Engines},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {163--174},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598046},
doi = {10.1145/3597926.3598046},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HuaLRLZJ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuangW23,
author = {Sunzhou Huang and
Xiaoyin Wang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {PExReport-Maven: Creating Pruned Executable Cross-Project Failure
Reports in Maven Build System},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1523--1526},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604929},
doi = {10.1145/3597926.3604929},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HuangW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuangXW0C23,
author = {Huaxun Huang and
Chi Xu and
Ming Wen and
Yepang Liu and
Shing{-}Chi Cheung},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {ConfFix: Repairing Configuration Compatibility Issues in Android Apps},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {514--525},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598074},
doi = {10.1145/3597926.3598074},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HuangXW0C23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JayasuriyaT0OB23,
author = {Dhanushka Jayasuriya and
Valerio Terragni and
Jens Dietrich and
Samuel Ou and
Kelly Blincoe},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Understanding Breaking Changes in the Wild},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1433--1444},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598147},
doi = {10.1145/3597926.3598147},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/JayasuriyaT0OB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JiaH00MZ23,
author = {Fuqi Jia and
Rui Han and
Pei Huang and
Minghao Liu and
Feifei Ma and
Jian Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Improving Bit-Blasting for Nonlinear Integer Constraints},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {14--25},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598034},
doi = {10.1145/3597926.3598034},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/JiaH00MZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JiangY0NWZ23,
author = {Ling Jiang and
Hengchen Yuan and
Qiyi Tang and
Sen Nie and
Shi Wu and
Yuqun Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Third-Party Library Dependency for Large-Scale {SCA} in the {C/C++}
Ecosystem: How Far Are We?},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1383--1395},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598143},
doi = {10.1145/3597926.3598143},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/JiangY0NWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KaboreBKB23,
author = {Abdoul Kader Kabor{\'{e}} and
Earl T. Barr and
Jacques Klein and
Tegawend{\'{e}} F. Bissyand{\'{e}}},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {CodeGrid: {A} Grid Representation of Code},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1357--1369},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598141},
doi = {10.1145/3597926.3598141},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KaboreBKB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KammRZ023,
author = {Matteo Kamm and
Manuel Rigger and
Chengyu Zhang and
Zhendong Su},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Testing Graph Database Engines via Query Partitioning},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {140--149},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598044},
doi = {10.1145/3597926.3598044},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KammRZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KangCY23,
author = {Sungmin Kang and
Wonkeun Choi and
Shin Yoo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {A Bayesian Framework for Automated Debugging},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {880--891},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598103},
doi = {10.1145/3597926.3598103},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KangCY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KediaPAR23,
author = {Piyus Kedia and
Rahul Purandare and
Udit Kumar Agarwal and
Rishabh},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {CGuard: Scalable and Precise Object Bounds Protection for {C}},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1307--1318},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598137},
doi = {10.1145/3597926.3598137},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KediaPAR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KimCSOPTC23,
author = {Myeongsoo Kim and
Davide Corradini and
Saurabh Sinha and
Alessandro Orso and
Michele Pasqua and
Rachel Tzoref{-}Brill and
Mariano Ceccato},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Enhancing {REST} {API} Testing with {NLP} Techniques},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1232--1243},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598131},
doi = {10.1145/3597926.3598131},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KimCSOPTC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KimHKY23,
author = {Youngjae Kim and
Seungheon Han and
Askar Yeltayuly Khamit and
Jooyong Yi},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Automated Program Repair from Fuzzing Perspective},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {854--866},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598101},
doi = {10.1145/3597926.3598101},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KimHKY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KongCWJZ23,
author = {Queping Kong and
Jiachi Chen and
Yanlin Wang and
Zigui Jiang and
Zibin Zheng},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi
Protocols},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1144--1156},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598124},
doi = {10.1145/3597926.3598124},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KongCWJZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KuhnD23,
author = {Roland Kuhn and
Alan Darmasaputra},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Behaviorally Typed State Machines in TypeScript for Heterogeneous
Swarms},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1475--1478},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604917},
doi = {10.1145/3597926.3604917},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KuhnD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LauKYT0YLCL023,
author = {Julia Kaiwen Lau and
Kelvin Kai Wen Kong and
Julian Hao Yong and
Per Hoong Tan and
Zhou Yang and
Zi Qian Yong and
Joshua Chern Wey Low and
Chun Yong Chong and
Mei Kuan Lim and
David Lo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study
on the False Alarms in Automated Speech Recognition Testing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1169--1181},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598126},
doi = {10.1145/3597926.3598126},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LauKYT0YLCL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LevineCM0023,
author = {Reese Levine and
Mingun Cho and
Devon McKee and
Andrew Quinn and
Tyler Sorensen},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {GPUHarbor: Testing {GPU} Memory Consistency at Large (Experience Paper)},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {779--791},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598095},
doi = {10.1145/3597926.3598095},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LevineCM0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiCWWYJ0Y23,
author = {Chao Li and
Rui Chen and
Boxiang Wang and
Zhixuan Wang and
Tingting Yu and
Yunsong Jiang and
Bin Gu and
Mengfei Yang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded
Software},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1345--1356},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598140},
doi = {10.1145/3597926.3598140},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiCWWYJ0Y23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiKLS23,
author = {Chengpeng Li and
Mohammad Mahdi Khosravi and
Wing Lam and
August Shi},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Systematically Producing Test Orders to Detect Order-Dependent Flaky
Tests},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {627--638},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598083},
doi = {10.1145/3597926.3598083},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LiKLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiSWYZ23,
author = {Changwen Li and
Joseph Sifakis and
Qiang Wang and
Rongjie Yan and
Jian Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Simulation-Based Validation for Autonomous Driving Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {842--853},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598100},
doi = {10.1145/3597926.3598100},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiSWYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiWW23,
author = {Yannan Li and
Jingbo Wang and
Chao Wang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Systematic Testing of the Data-Poisoning Robustness of {KNN}},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1207--1218},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598129},
doi = {10.1145/3597926.3598129},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiWZ0GW023,
author = {Linlin Li and
Ruifeng Wang and
Xian Zhan and
Ying Wang and
Cuiyun Gao and
Sinan Wang and
Yepang Liu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {What You See Is What You Get? It Is Not the Case! Detecting Misleading
Icons for Mobile Applications},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {538--550},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598076},
doi = {10.1145/3597926.3598076},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiWZ0GW023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiaoHNZ23,
author = {Zeqin Liao and
Sicheng Hao and
Yuhong Nan and
Zibin Zheng},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts
via Fine-Grained State-Dependency Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {980--991},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598111},
doi = {10.1145/3597926.3598111},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiaoHNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LippEKPBB23,
author = {Stephan Lipp and
Daniel Elsner and
Severin Kacianka and
Alexander Pretschner and
Marcel B{\"{o}}hme and
Sebastian Banescu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Green Fuzzing: {A} Saturation-Based Stopping Criterion using Vulnerability
Prediction},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {127--139},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598043},
doi = {10.1145/3597926.3598043},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LippEKPBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Liu00023,
author = {Zhongxin Liu and
Kui Liu and
Xin Xia and
Xiaohu Yang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Towards More Realistic Evaluation for Neural Test Oracle Generation},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {589--600},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598080},
doi = {10.1145/3597926.3598080},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Liu00023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Liu000L23,
author = {Yu Liu and
Jiyang Zhang and
Pengyu Nie and
Milos Gligoric and
Owolabi Legunsen},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {More Precise Regression Test Selection via Reasoning about Semantics-Modifying
Changes},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {664--676},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598086},
doi = {10.1145/3597926.3598086},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Liu000L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Liu0G0L23,
author = {Yu Liu and
Pengyu Nie and
Anna Guo and
Milos Gligoric and
Owolabi Legunsen},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Extracting Inline Tests from Unit Tests},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1458--1470},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598149},
doi = {10.1145/3597926.3598149},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Liu0G0L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiuCFLLXNLC23,
author = {Han Liu and
Sen Chen and
Ruitao Feng and
Chengwei Liu and
Kaixuan Li and
Zhengzi Xu and
Liming Nie and
Yang Liu and
Yixiang Chen},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {A Comprehensive Study on Quality Assurance Tools for Java},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {285--297},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598056},
doi = {10.1145/3597926.3598056},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LiuCFLLXNLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiuHZCSHH023,
author = {Kaibo Liu and
Yudong Han and
Jie M. Zhang and
Zhenpeng Chen and
Federica Sarro and
Mark Harman and
Gang Huang and
Yun Ma},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Who Judges the Judge: An Empirical Study on Online Judge Tests},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {334--346},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598060},
doi = {10.1145/3597926.3598060},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LiuHZCSHH023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiuLDWZLX23,
author = {Jiangchao Liu and
Jierui Liu and
Peng Di and
Diyu Wu and
Hengjie Zheng and
Alex X. Liu and
Jingling Xue},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Hybrid Inlining: {A} Framework for Compositional and Context-Sensitive
Static Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {114--126},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598042},
doi = {10.1145/3597926.3598042},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LiuLDWZLX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiuWWXWLJ23,
author = {Hao Liu and
Yanlin Wang and
Zhao Wei and
Yong Xu and
Juhong Wang and
Hui Li and
Rongrong Ji},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {RefBERT: {A} Two-Stage Pre-trained Framework for Automatic Rename
Refactoring},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {740--752},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598092},
doi = {10.1145/3597926.3598092},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LiuWWXWLJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiuXLWM23,
author = {Zhibo Liu and
Dongwei Xiao and
Zongjie Li and
Shuai Wang and
Wei Meng},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Exploring Missed Optimizations in WebAssembly Optimizers},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {436--448},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598068},
doi = {10.1145/3597926.3598068},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LiuXLWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MaS00C23,
author = {Haoyang Ma and
Qingchao Shen and
Yongqiang Tian and
Junjie Chen and
Shing{-}Chi Cheung},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Fuzzing Deep Learning Compilers with HirGen},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {248--260},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598053},
doi = {10.1145/3597926.3598053},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MaS00C23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MansurWC23,
author = {Muhammad Numair Mansur and
Valentin W{\"{u}}stholz and
Maria Christakis},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Dependency-Aware Metamorphic Testing of Datalog Engines},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {236--247},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598052},
doi = {10.1145/3597926.3598052},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MansurWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MoCWZ23,
author = {Yifan Mo and
Jiachi Chen and
Yanlin Wang and
Zibin Zheng},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Toward Automated Detecting Unanticipated Price Feed in Smart Contract},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1257--1268},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598133},
doi = {10.1145/3597926.3598133},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MoCWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MolinaPAF23,
author = {Facundo Molina and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {EvoSpex: {A} Search-Based Tool for Postcondition Inference},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1519--1522},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604928},
doi = {10.1145/3597926.3604928},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MolinaPAF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Mordahl23,
author = {Austin Mordahl},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Automatic Testing and Benchmarking for Configurable Static Analysis
Tools},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1532--1536},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3605232},
doi = {10.1145/3597926.3605232},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Mordahl23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MordahlSMZW23,
author = {Austin Mordahl and
Dakota Soles and
Miao Miao and
Zenong Zhang and
Shiyi Wei},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{ECSTATIC:} Automatic Configuration-Aware Testing and Debugging of
Static Analysis Tools},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1479--1482},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604918},
doi = {10.1145/3597926.3604918},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MordahlSMZW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NieLWWLW23,
author = {Xu Nie and
Ningke Li and
Kailong Wang and
Shangguang Wang and
Xiapu Luo and
Haoyu Wang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability
Detection (Experience Paper)},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {52--63},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598037},
doi = {10.1145/3597926.3598037},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/NieLWWLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/OunjaiWC23,
author = {Jiradet Ounjai and
Valentin W{\"{u}}stholz and
Maria Christakis},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Green Fuzzer Benchmarking},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1396--1406},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598144},
doi = {10.1145/3597926.3598144},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/OunjaiWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PanXLY023,
author = {Yu Pan and
Zhichao Xu and
Levi Taiji Li and
Yunhe Yang and
Mu Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Automated Generation of Security-Centric Descriptions for Smart Contract
Bytecode},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1244--1256},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598132},
doi = {10.1145/3597926.3598132},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PanXLY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PangZXWM23,
author = {Chengbin Pang and
Tiantai Zhang and
Xuelan Xu and
Linzhang Wang and
Bing Mao},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{OCFI:} Make Function Entry Identification Hard Again},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {804--815},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598097},
doi = {10.1145/3597926.3598097},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PangZXWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PeldszusAB23,
author = {Sven Peldszus and
Noubar Akopian and
Thorsten Berger},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot
Framework},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1503--1506},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604924},
doi = {10.1145/3597926.3604924},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PeldszusAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PizzornoB23,
author = {Juan Altmayer Pizzorno and
Emery D. Berger},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {SlipCover: Near Zero-Overhead Code Coverage for Python},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1195--1206},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598128},
doi = {10.1145/3597926.3598128},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PizzornoB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RamosRT0S23,
author = {Frederico Ramos and
Diogo Costa Reis and
Miguel Trigo and
Ant{\'{o}}nio Morgado and
Jos{\'{e}} Fragoso Santos},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {MetaData262: Automatic Test Suite Selection for Partial JavaScript
Implementations},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1499--1502},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604923},
doi = {10.1145/3597926.3604923},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/RamosRT0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RenQWZZ023,
author = {Kunlun Ren and
Weizhong Qiang and
Yueming Wu and
Yi Zhou and
Deqing Zou and
Hai Jin},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {An Empirical Study on the Effects of Obfuscation on Static Machine
Learning-Based Malicious JavaScript Detectors},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1420--1432},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598146},
doi = {10.1145/3597926.3598146},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/RenQWZZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Roth23,
author = {Ori Roth},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Type Automata},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1537--1540},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3605237},
doi = {10.1145/3597926.3605237},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Roth23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RzigIAQH23,
author = {Dhia Elhaq Rzig and
Nafees Iqbal and
Isabella Attisano and
Xue Qin and
Foyzul Hassan},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Virtual Reality {(VR)} Automated Testing in the Wild: {A} Case Study
on Unity-Based {VR} Applications},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1269--1281},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598134},
doi = {10.1145/3597926.3598134},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/RzigIAQH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SagonasT23,
author = {Konstantinos Sagonas and
Thanasis Typaldos},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {EDHOC-Fuzzer: An {EDHOC} Protocol State Fuzzer},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1495--1498},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604922},
doi = {10.1145/3597926.3604922},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SagonasT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SahaSSSLSB23,
author = {Seemanta Saha and
Laboni Sarker and
Md Shafiuzzaman and
Chaofan Shou and
Albert Li and
Ganesh Sankaran and
Tevfik Bultan},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Rare Path Guided Fuzzing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1295--1306},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598136},
doi = {10.1145/3597926.3598136},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SahaSSSLSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Sarker23,
author = {Laboni Sarker},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Quantitative Symbolic Similarity Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1549--1551},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3605238},
doi = {10.1145/3597926.3605238},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Sarker23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SchemmelBBNC23,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
Frank Busse and
Martin Nowack and
Cristian Cadar},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {KDAlloc: The {KLEE} Deterministic Allocator: Deterministic Memory
Allocation during Symbolic Execution and Test Case Replay},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1491--1494},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604921},
doi = {10.1145/3597926.3604921},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SchemmelBBNC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Schumi023,
author = {Richard Schumi and
Jun Sun},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Semantic-Based Neural Network Repair},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {150--162},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598045},
doi = {10.1145/3597926.3598045},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Schumi023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SharmaYD23,
author = {Mayank Sharma and
Pingshi Yu and
Alastair F. Donaldson},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {RustSmith: Random Differential Compiler Testing for Rust},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1483--1486},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604919},
doi = {10.1145/3597926.3604919},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SharmaYD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShiW0DH0023,
author = {Ensheng Shi and
Yanlin Wang and
Hongyu Zhang and
Lun Du and
Shi Han and
Dongmei Zhang and
Hongbin Sun},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental
Study and Beyond},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {39--51},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598036},
doi = {10.1145/3597926.3598036},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ShiW0DH0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShiXLLYYSCH23,
author = {Jingyi Shi and
Yang Xiao and
Yuekang Li and
Yeting Li and
Dongsong Yu and
Chendong Yu and
Hui Su and
Yufeng Chen and
Wei Huo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {ACETest: Automated Constraint Extraction for Testing Deep Learning
Operators},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {690--702},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598088},
doi = {10.1145/3597926.3598088},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ShiXLLYYSCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShouTS23,
author = {Chaofan Shou and
Shangyin Tan and
Koushik Sen},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {ItyFuzz: Snapshot-Based Fuzzer for Smart Contract},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {322--333},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598059},
doi = {10.1145/3597926.3598059},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ShouTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Shrestha23,
author = {Sohil Lal Shrestha},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Harnessing Large Language Models for Simulink Toolchain Testing and
Developing Diverse Open-Source Corpora of Simulink Models for Metric
and Evolution Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1541--1545},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3605233},
doi = {10.1145/3597926.3605233},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Shrestha23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SuLXHSSCH23,
author = {He Su and
Feng Li and
Lili Xu and
Wenbo Hu and
Yujie Sun and
Qing Sun and
Huina Chao and
Wei Huo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Splendor: Static Detection of Stored {XSS} in Modern Web Applications},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1043--1054},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598116},
doi = {10.1145/3597926.3598116},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SuLXHSSCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TanL23,
author = {Tian Tan and
Yue Li},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Tai-e: {A} Developer-Friendly Static Analysis Framework for Java by
Harnessing the Good Designs of Classics},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1093--1105},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598120},
doi = {10.1145/3597926.3598120},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/TanL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TuongTGK23,
author = {Fr{\'{e}}d{\'{e}}ric Tuong and
Mohammad Omidvar Tehrani and
Marco Gaboardi and
Steven Y. Ko},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {SymRustC: {A} Hybrid Fuzzer for Rust},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1515--1518},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604927},
doi = {10.1145/3597926.3604927},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/TuongTGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ValleAA23,
author = {Pablo Valle and
Aitor Arrieta and
Maite Arratibel},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Applying and Extending the Delta Debugging Algorithm for Elevator
Dispatching Algorithms (Experience Paper)},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1055--1067},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598117},
doi = {10.1145/3597926.3598117},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ValleAA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/VikramLLNOSP23,
author = {Vasudev Vikram and
Isabella Laybourn and
Ao Li and
Nicole Nair and
Kelton OBrien and
Rafaello Sanna and
Rohan Padhye},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Guiding Greybox Fuzzing with Mutation Testing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {929--941},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598107},
doi = {10.1145/3597926.3598107},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/VikramLLNOSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangHCGZWHL23,
author = {Wenxuan Wang and
Jingyuan Huang and
Chang Chen and
Jiazhen Gu and
Jianping Zhang and
Weibin Wu and
Pinjia He and
Michael R. Lyu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Validating Multimedia Content Moderation Software via Semantic Fusion},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {576--588},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598079},
doi = {10.1145/3597926.3598079},
timestamp = {Thu, 11 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WangHCGZWHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangLHCZZ23,
author = {Jun Wang and
Yanhui Li and
Xiang Huang and
Lin Chen and
Xiaofang Zhang and
Yuming Zhou},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Back Deduction Based Testing for Word Sense Disambiguation Ability
of Machine Translation Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {601--613},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598081},
doi = {10.1145/3597926.3598081},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WangLHCZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangNMCWB023,
author = {Zihan Wang and
Pengbo Nie and
Xinyuan Miao and
Yuting Chen and
Chengcheng Wan and
Lei Bu and
Jianjun Zhao},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {GenCoG: {A} DSL-Based Approach to Generating Computation Graphs for
{TVM} Testing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {904--916},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598105},
doi = {10.1145/3597926.3598105},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WangNMCWB023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangWHSLMSS23,
author = {Qinglong Wang and
Runzhe Wang and
Yuxi Hu and
Xiaohai Shi and
Zheng Liu and
Tao Ma and
Houbing Song and
Heyuan Shi},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {KeenTune: Automated Tuning Tool for Cloud Application Performance
Testing and Optimization},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1487--1490},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604920},
doi = {10.1145/3597926.3604920},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WangWHSLMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangZZWYD23,
author = {Tianxiao Wang and
Chen Zhi and
Xiaoqun Zhou and
Jinjie Wu and
Jianwei Yin and
Shuiguang Deng},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Data Constraint Mining for Automatic Reconciliation Scripts Generation},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1119--1130},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598122},
doi = {10.1145/3597926.3598122},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WangZZWYD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WuJPLD0BS23,
author = {Yi Wu and
Nan Jiang and
Hung Viet Pham and
Thibaud Lutellier and
Jordan Davis and
Lin Tan and
Petr Babkin and
Sameena Shah},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {How Effective Are Neural Networks for Fixing Security Vulnerabilities},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1282--1294},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598135},
doi = {10.1145/3597926.3598135},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WuJPLD0BS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WuLZFZWQL23,
author = {Shuohan Wu and
Jianfeng Li and
Hao Zhou and
Yongsheng Fang and
Kaifa Zhao and
Haoyu Wang and
Chenxiong Qian and
Xiapu Luo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {CydiOS: {A} Model-Based Testing Framework for iOS Apps},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1--13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598033},
doi = {10.1145/3597926.3598033},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WuLZFZWQL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XiaoLL023,
author = {Yisong Xiao and
Aishan Liu and
Tianlin Li and
Xianglong Liu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Latent Imitator: Generating Natural Individual Discriminatory Instances
for Black-Box Fairness Testing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {829--841},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598099},
doi = {10.1145/3597926.3598099},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/XiaoLL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Xie0JGHZ023,
author = {Zifan Xie and
Ming Wen and
Haoxiang Jia and
Xiaochen Guo and
Xiaotong Huang and
Deqing Zou and
Hai Jin},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Precise and Efficient Patch Presence Test for Android Applications
against Code Obfuscation},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {347--359},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598061},
doi = {10.1145/3597926.3598061},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Xie0JGHZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XiongX0SWWP0023,
author = {Yiheng Xiong and
Mengqian Xu and
Ting Su and
Jingling Sun and
Jue Wang and
He Wen and
Geguang Pu and
Jifeng He and
Zhendong Su},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {An Empirical Study of Functional Bugs in Android Apps},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1319--1331},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598138},
doi = {10.1145/3597926.3598138},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/XiongX0SWWP0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Xu0YSS0TS0023,
author = {Xiangzhe Xu and
Shiwei Feng and
Yapeng Ye and
Guangyu Shen and
Zian Su and
Siyuan Cheng and
Guanhong Tao and
Qingkai Shi and
Zhuo Zhang and
Xiangyu Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Improving Binary Code Similarity Transformer Models by Semantics-Driven
Instruction Deemphasis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1106--1118},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598121},
doi = {10.1145/3597926.3598121},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Xu0YSS0TS0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XuGFLCL23,
author = {Sihan Xu and
Ya Gao and
Lingling Fan and
Linyu Li and
Xiangrui Cai and
Zheli Liu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {LiResolver: License Incompatibility Resolution for Open Source Software},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {652--663},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598085},
doi = {10.1145/3597926.3598085},
timestamp = {Wed, 19 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/XuGFLCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XueLZWZ23,
author = {Zhiyi Xue and
Si Liu and
Zhaodi Zhang and
Yiting Wu and
Min Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {A Tale of Two Approximations: Tightening Over-Approximation for {DNN}
Robustness Verification via Under-Approximation},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1182--1194},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598127},
doi = {10.1145/3597926.3598127},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/XueLZWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YangCFJS23,
author = {Chen Yang and
Junjie Chen and
Xingyu Fan and
Jiajun Jiang and
Jun Sun},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Silent Compiler Bug De-duplication via Three-Dimensional Analysis},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {677--689},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598087},
doi = {10.1145/3597926.3598087},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YangCFJS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YangCZ23,
author = {Shuo Yang and
Jiachi Chen and
Zibin Zheng},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Definition and Detection of Defects in {NFT} Smart Contracts},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {373--384},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598063},
doi = {10.1145/3597926.3598063},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YangCZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YangHCMLXCZ23,
author = {Songtao Yang and
Yubo He and
Kaixiang Chen and
Zheyu Ma and
Xiapu Luo and
Yong Xie and
Jianjun Chen and
Chao Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential
Fuzzing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {867--879},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598102},
doi = {10.1145/3597926.3598102},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/YangHCMLXCZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YeNZWL23,
author = {Mingxi Ye and
Yuhong Nan and
Zibin Zheng and
Dongpeng Wu and
Huizhong Li},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Detecting State Inconsistency Bugs in DApps via On-Chain Transaction
Replay and Fuzzing},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {298--309},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598057},
doi = {10.1145/3597926.3598057},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YeNZWL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Yu0023,
author = {Shiwen Yu and
Ting Wang and
Ji Wang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Loop Invariant Inference through {SMT} Solving Enhanced Reinforcement
Learning},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {175--187},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598047},
doi = {10.1145/3597926.3598047},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Yu0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Yu23,
author = {Pingshi Yu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Reasoning about {MLIR} Semantics through Effects and Handlers},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1552--1554},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3605239},
doi = {10.1145/3597926.3605239},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Yu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YuZLYHH23,
author = {Boxi Yu and
Zhiqing Zhong and
Jiaqi Li and
Yixing Yang and
Shilin He and
Pinjia He},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {{ROME:} Testing Image Captioning Systems via Recursive Object Melting},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {766--778},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598094},
doi = {10.1145/3597926.3598094},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YuZLYHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZangT023,
author = {Zhiqiang Zang and
Aditya Thimmaiah and
Milos Gligoric},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Pattern-Based Peephole Optimizations with Java {JIT} Tests},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {64--75},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598038},
doi = {10.1145/3597926.3598038},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZangT023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Zhang023,
author = {Xudong Zhang and
Yan Cai},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Building Critical Testing Scenarios for Autonomous Driving from Real
Accidents},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {462--474},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598070},
doi = {10.1145/3597926.3598070},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Zhang023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Zhang0DLS0S23,
author = {Quan Zhang and
Yongqiang Tian and
Yifeng Ding and
Shanshan Li and
Chengnian Sun and
Yu Jiang and
Jiaguang Sun},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {CoopHance: Cooperative Enhancement for Robustness of Deep Learning
Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {753--765},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598093},
doi = {10.1145/3597926.3598093},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Zhang0DLS0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangH0SNLZ23,
author = {Yiming Zhang and
Yuxin Hu and
Haonan Li and
Wenxuan Shi and
Zhenyu Ning and
Xiapu Luo and
Fengwei Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Alligator in Vest: {A} Practical Failure-Diagnosis Framework via Arm
Hardware Features},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {917--928},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598106},
doi = {10.1145/3597926.3598106},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhangH0SNLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangLSCL023,
author = {Yiyu Zhang and
Tianyi Liu and
Zewen Sun and
Zhe Chen and
Xuandong Li and
Zhiqiang Zuo},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {816--828},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598098},
doi = {10.1145/3597926.3598098},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangLSCL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangW0YH23,
author = {Zhaoxu Zhang and
Robert Winn and
Yu Zhao and
Tingting Yu and
William G. J. Halfond},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Automatically Reproducing Android Bug Reports using Natural Language
Processing and Reinforcement Learning},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {411--422},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598066},
doi = {10.1145/3597926.3598066},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhangW0YH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangWZ0LHL23,
author = {Jian Zhang and
Xu Wang and
Hongyu Zhang and
Hailong Sun and
Xudong Liu and
Chunming Hu and
Yang Liu},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Detecting Condition-Related Bugs with Control Flow Graph Neural Network},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1370--1382},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598142},
doi = {10.1145/3597926.3598142},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangWZ0LHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangZS0SD023,
author = {Xiaodong Zhang and
Wei Zhao and
Yang Sun and
Jun Sun and
Yulong Shen and
Xuewen Dong and
Zijiang Yang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Testing Automated Driving Systems by Breaking Many Laws Efficiently},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {942--953},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598108},
doi = {10.1145/3597926.3598108},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangZS0SD023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhaoCFYW23,
author = {Yingquan Zhao and
Junjie Chen and
Ruifeng Fu and
Haojie Ye and
Zan Wang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Testing the Compiler for a New-Born Programming Language: An Industrial
Case Study (Experience Paper)},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {551--563},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598077},
doi = {10.1145/3597926.3598077},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhaoCFYW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Zhou0LZ023,
author = {Jingyao Zhou and
Lei Xu and
Gongzheng Lu and
Weifeng Zhang and
Xiangyu Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {NodeRT: Detecting Races in Node.js Applications Practically},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1332--1344},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598139},
doi = {10.1145/3597926.3598139},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Zhou0LZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhouGWGCC023,
author = {Mingyi Zhou and
Xiang Gao and
Jing Wu and
John C. Grundy and
Xiao Chen and
Chunyang Chen and
Li Li},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {ModelObfuscator: Obfuscating Model Information to Protect Deployed
ML-Based Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1005--1017},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598113},
doi = {10.1145/3597926.3598113},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhouGWGCC023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhouS23,
author = {Yuhao Zhou and
Wei Song},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {703--714},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598089},
doi = {10.1145/3597926.3598089},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhouS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhouS23a,
author = {Yuhao Zhou and
Wei Song},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {DDLDroid: {A} Static Analyzer for Automatically Detecting Data Loss
Issues in Android Applications},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1471--1474},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604916},
doi = {10.1145/3597926.3604916},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhouS23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZohdinasabRT23,
author = {Tahereh Zohdinasab and
Vincenzo Riccio and
Paolo Tonella},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {DeepAtash: Focused Test Generation for Deep Learning Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {954--966},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598109},
doi = {10.1145/3597926.3598109},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZohdinasabRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2023,
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926},
doi = {10.1145/3597926},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 04:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
