{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:07:38Z","timestamp":1769720858080,"version":"3.49.0"},"reference-count":46,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010002","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010002","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1109\/ase63991.2025.00136","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:38Z","timestamp":1769633678000},"page":"1616-1628","source":"Crossref","is-referenced-by-count":0,"title":["Terminator: Enabling Efficient Fuzzing of Closed-Source GUI Programs by Automatic Coverage-Guided Termination"],"prefix":"10.1109","author":[{"given":"Jonas","family":"Zabel","sequence":"first","affiliation":[{"name":"Fraunhofer SIT | ATHENE,Secure Software Engineering,Darmstadt,Germany"}]},{"given":"Philip","family":"Kolvenbach","sequence":"additional","affiliation":[{"name":"DZ Bank,Information Security,Darmstadt,Germany"}]},{"given":"Steven","family":"Arzt","sequence":"additional","affiliation":[{"name":"Fraunhofer SIT | ATHENE,Secure Software Engineering,Darmstadt,Germany"}]}],"member":"263","reference":[{"key":"ref1","first-page":"9","article-title":"Building a Wide Reach Corpus","volume-title":"Research Report for the IEEE Security & Privacy LangSec Workshop","author":"Allison"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00117"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23371"},{"key":"ref6","first-page":"41","article-title":"QEMU, a Fast and Portable Dynamic Translator","volume-title":"FREENIX Track: 2005 USENIX Annual Technical Conference","author":"Bellard"},{"key":"ref7","first-page":"1985","article-title":"GRIMOIRE: Synthesizing Structure while Fuzzing","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Blazytko"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151043"},{"key":"ref11","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. OSDI\u201908","author":"Cadar"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363225"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884843"},{"key":"ref17","volume-title":"Introduction to Algorithms, Third Edition.","author":"Cormen","year":"2009"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560602"},{"key":"ref19","volume-title":"WinAFL","author":"Fratric","year":"2020"},{"key":"ref20","article-title":"The SCIP Optimization Suite 7.0","volume-title":"Technical Report","author":"Gamrath","year":"2020"},{"key":"ref21","first-page":"2577","article-title":"GREYONE: Data Flow Sensitive Fuzzing","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Gan"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"ref23","volume-title":"OSS-Fuzz","year":"2020"},{"key":"ref24","first-page":"11","article-title":"Fuzzing Code with AFL","volume-title":"login: Summer 2016","volume":"41","author":"Gutmann"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23263"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24334"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-018-0002-y"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"ref29","volume-title":"libFuzzer \u2013 a library for coverage-guided fuzz testing"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491438"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314651"},{"key":"ref32","first-page":"55","article-title":"Fuzzing: The State of the Art","volume-title":"Technical report DSTO\u2013TN\u20131043","author":"McNally","year":"2012"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690229"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931047"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00107"},{"key":"ref37","first-page":"181","article-title":"Symbolic execution with SymCC: Don\u2019t interpret, compile!","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Poeplau"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23404"},{"key":"ref39","volume-title":"Desktop Operating System Market Share Worldwide","year":"2024"},{"key":"ref40","first-page":"4913","article-title":"No Linux, No Problem: Fast and Correct Windows Binary Fuzzing via Target-embedded Snapshotting","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Stone"},{"key":"ref41","volume-title":"Peach Fuzzer","year":"2020"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2941681"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24422"},{"key":"ref44","volume-title":"A new stressful PDF corpus","author":"Wyatt","year":"2020"},{"key":"ref45","first-page":"745","article-title":"QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Yun"},{"key":"ref46","volume-title":"american fuzzy lop","author":"Zalewski","year":"2020"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23504"}],"event":{"name":"2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2025,11,16]]},"end":{"date-parts":[[2025,11,20]]}},"container-title":["2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11334056\/11334198\/11334615.pdf?arnumber=11334615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T09:44:23Z","timestamp":1769679863000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11334615\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/ase63991.2025.00136","relation":{},"subject":[],"published":{"date-parts":[[2025,11,16]]}}}