{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T03:01:43Z","timestamp":1783393303807,"version":"3.54.6"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302375,62472339,6240073166"],"award-info":[{"award-number":["62302375,62472339,6240073166"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,3,17]]},"DOI":"10.1109\/saner67736.2026.00096","type":"proceedings-article","created":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T19:41:17Z","timestamp":1783021277000},"page":"826-831","source":"Crossref","is-referenced-by-count":1,"title":["Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation"],"prefix":"10.1109","author":[{"given":"Junjie","family":"Huang","sequence":"first","affiliation":[{"name":"Guangzhou Institute of Technology, Xidian University,Guangzhou,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng","family":"Wen","sequence":"additional","affiliation":[{"name":"Guangzhou Institute of Technology, Xidian University,Guangzhou,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie","family":"Su","sequence":"additional","affiliation":[{"name":"Guangzhou Institute of Technology, Xidian University,Guangzhou,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiwu","family":"Xu","sequence":"additional","affiliation":[{"name":"College of Computer Science and Software Engineering, Shenzhen University,Shenzhen,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bin","family":"Yu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xidian University,Xi'an,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[{"name":"Guangzhou Institute of Technology, Xidian University,Guangzhou,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xidian University,Xi'an,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"The art of concurrency: A thread monkey\u2019s guide to writing parallel applications","author":"Breshears","year":"2009"},{"key":"ref2","volume-title":"Is parallel programming hard, and, if so, what can you do about it? 2014","author":"Mckenney","year":"2011"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2025.3556861"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1980.1653786"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180225"},{"key":"ref8","first-page":"255","article-title":"Effective static analysis of concurrency \\{Use-After-Free\\} bugs in linux device drivers","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Bai","year":"2019"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3711"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2858651"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510178"},{"issue":"2008","key":"ref12","article-title":"Finding and reproducing heisenbugs in concurrent programs","volume":"8","author":"Musuvathi","year":"2008","journal-title":"OSDI"},{"key":"ref13","article-title":"Understanding concurrency vulnerabilities in linux kernel","author":"Huang","year":"2022","journal-title":"arXiv preprint"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3512345"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380396"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1145\/3377811.3380386","article-title":"Typestate-guided fuzzer for discovering use-after-free vulnerabilities","volume-title":"2020 IEEE\/ACM 42nd International Conference on Software Engineering","author":"Wang","year":"2020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2025.103395"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-96-0617-7_14"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639102"},{"key":"ref20","volume-title":"american fuzzy lop","year":"2022"},{"key":"ref21","volume-title":"American fuzzy lop 2.52b","author":"Zalewski","year":"2020"},{"key":"ref22","first-page":"2325","article-title":"Muzz: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Chen","year":"2020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2024.104171"},{"key":"ref24","first-page":"1949","article-title":"Mopt: Optimized mutation scheduling for fuzzers","volume-title":"28th USENIX security symposium (USENIX security 19)","author":"Lyu","year":"2019"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_29"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111379"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9385-3"},{"key":"ref29","volume-title":"Sv-benchmarks","author":"Beyer","year":"2023"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179398"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640389"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24422"},{"key":"ref33","article-title":"Assessing large language models in comprehending and verifying concurrent programs across memory models","author":"Jain","year":"2025","journal-title":"arXiv preprint"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65630-9_16"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3653718"}],"event":{"name":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","location":"Limassol, Cyprus","start":{"date-parts":[[2026,3,17]]},"end":{"date-parts":[[2026,3,20]]}},"container-title":["2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11576582\/11576527\/11576747.pdf?arnumber=11576747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T05:19:07Z","timestamp":1783055947000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11576747\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,17]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/saner67736.2026.00096","relation":{},"subject":[],"published":{"date-parts":[[2026,3,17]]}}}