{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T15:43:08Z","timestamp":1785512588090,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":71,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510082","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"1343-1355","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Linear-time temporal logic guided greybox fuzzing"],"prefix":"10.1145","author":[{"given":"Ruijie","family":"Meng","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhen","family":"Dong","sequence":"additional","affiliation":[{"name":"Fudan University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jialin","family":"Li","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivan","family":"Beschastnikh","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abhik","family":"Roychoudhury","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"August. 2021 (last accessed). AFL. https:\/\/lcamtuf.coredump.cx\/afl\/."},{"key":"e_1_3_2_1_2_1","unstructured":"August. 2021 (last accessed). Contiki-Telnet. https:\/\/github.com\/contiki-os\/contiki."},{"key":"e_1_3_2_1_3_1","unstructured":"August. 2021 (last accessed). libFuzzer. https:\/\/llvm.org\/docs\/LibFuzzer.html."},{"key":"e_1_3_2_1_4_1","unstructured":"August. 2021 (last accessed). Live555. http:\/\/www.live555.com\/."},{"key":"e_1_3_2_1_5_1","unstructured":"August. 2021 (last accessed). OpenSSH. http:\/\/www.openssh.com\/."},{"key":"e_1_3_2_1_6_1","unstructured":"August. 2021 (last accessed). OpenSSL. https:\/\/www.openssl.org\/."},{"key":"e_1_3_2_1_7_1","unstructured":"August. 2021 (last accessed). ProFTPD. http:\/\/www.proftpd.org\/."},{"key":"e_1_3_2_1_8_1","unstructured":"August. 2021 (last accessed). Promela. http:\/\/spinroot.com\/spin\/Man\/promela.html."},{"key":"e_1_3_2_1_9_1","unstructured":"August. 2021 (last accessed). Pure-FTPd. https:\/\/www.pureftpd.org\/project\/pureftpd\/."},{"key":"e_1_3_2_1_10_1","unstructured":"August. 2021 (last accessed). Spot. https:\/\/spot.lrde.epita.fr\/."},{"key":"e_1_3_2_1_11_1","unstructured":"August. 2021 (last accessed). TinyDTLS. https:\/\/projects.eclipse.org\/projects\/iot.tinydtls."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380932"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_14"},{"key":"e_1_3_2_1_15_1","volume-title":"Lectures on Runtime Verification","author":"Bartocci Ezio","unstructured":"Ezio Bartocci, Yli\u00e8s Falcone, Adrian Francalanza, and Giles Reger. 2018. Introduction to runtime verification. In Lectures on Runtime Verification. Springer, 1--33. https:\/\/hal.inria.fr\/hal-01762297"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_16"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855756"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22655-7_28"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"e_1_3_2_1_25_1","first-page":"55","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","volume":"131","author":"Clarke Edmund M.","year":"1981","unstructured":"Edmund M. Clarke and E Allen Emerson. 1981. Design and synthesis of synchronization skeletons using branching time temporal logic. Lecture Notes in Computer Science (LNCS) 131 (1981), 55--71. https:\/\/link.springer.com\/chapter\/10.1007\/BFb0025774","journal-title":"Lecture Notes in Computer Science (LNCS)"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2831143.2831156"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_54"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00609-z"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_25"},{"key":"e_1_3_2_1_31_1","volume-title":"Analysis of DTLS Implementations Using Protocol State Fuzzing. In proceedings of the 29th USENIX Conference on Security Symposium Security (USENIX Security","author":"Fiterau-Brostean Paul","year":"2020","unstructured":"Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, and Juraj Somorovsky. 2020. Analysis of DTLS Implementations Using Protocol State Fuzzing. In proceedings of the 29th USENIX Conference on Security Symposium Security (USENIX Security 2020). USENIX Association, 2523--2540. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/fiterau-brostean"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092289"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_20"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A%3A1026599015809"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_2"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.36"},{"key":"e_1_3_2_1_41_1","volume-title":"proceedings of the 27th International Conference on Computer-Aided Verification (CAV","author":"Isberner Malte","year":"2015","unstructured":"Malte Isberner, Falk Howar, and Bernhard Steffen. 2015. The open-source Learn-Lib. In proceedings of the 27th International Conference on Computer-Aided Verification (CAV 2015). Springer, 487--495. https:\/\/link.springer.com\/chapter\/10.1007\/978-3-319-21690-4_32"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337436"},{"key":"e_1_3_2_1_43_1","volume-title":"proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS","author":"Kant Gijs","year":"2015","unstructured":"Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, and Tom van Dijk. 2015. LTSmin: high-performance language-independent model checking. In proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). Springer, 692--707. https:\/\/link.springer.com\/chapter\/10.1007\/978-3-662-46681-0_61"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/1973430.1973448"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24096"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970356"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145743"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844136"},{"key":"e_1_3_2_1_51_1","unstructured":"Madanlal Musuvathi Shaz Qadeer Thomas Ball Madanlal Musuvathi Shaz Qadeer and Thomas Ball. 2007. Chess: A systematic testing tool for concurrent software. Technical Report MSR-TR-2007-149. Microsoft Research. https:\/\/www.microsoft.com\/en-us\/research\/publication\/chess-a-systematic-testing-tool-for-concurrent-software\/"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3469077?af=R"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00062"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11494-7_22"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23404"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_55"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/73007.73047"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_27"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3145344.3145489"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"e_1_3_2_1_62_1","volume-title":"proceedings of the 1st Symposium on Logic in Computer Science (LICS","author":"Moshe","year":"1986","unstructured":"Moshe Y. Vardi and Pierre Wolper. 1986. An automata-theoretic approach to automatic program verification. In proceedings of the 1st Symposium on Logic in Computer Science (LICS 1986). IEEE. https:\/\/orbi.uliege.be\/handle\/2268\/116609"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.3102\/10769986025002101"},{"key":"e_1_3_2_1_65_1","volume-title":"Model checking programs. Automated software engineering (ASE) 10, 2","author":"Visser Willem","year":"2003","unstructured":"Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park, and Flavio Lerda. 2003. Model checking programs. Automated software engineering (ASE) 10, 2 (2003), 203--232. https:\/\/link.springer.com\/article\/10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380386"},{"key":"e_1_3_2_1_67_1","volume-title":"MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols. In proceedings of the 30th USENIX Security Symposium (USENIX Security","author":"Wang Qinying","year":"2021","unstructured":"Qinying Wang, Shouling Ji, Yuan Tian, Xuhong Zhang, Binbin Zhao, Yuhong Kan, Zhaowei Lin, Changting Lin, Shuiguang Deng, Alex X. Liu, and Raheem Beyah. 2021. MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols. In proceedings of the 30th USENIX Security Symposium (USENIX Security 2021). USENIX Association, 4205--4222. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/wang-qinying"},{"key":"e_1_3_2_1_68_1","volume-title":"Reps","author":"Wang Zi","year":"2020","unstructured":"Zi Wang, Ben Liblit, and Thomas W. Reps. 2020. TOFU: Target-Orienter FUzzer. CoRR abs\/2004.14375 (2020). https:\/\/arxiv.org\/abs\/2004.14375"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668007"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180227"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818833"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510082","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:23Z","timestamp":1750183823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510082"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":71,"alternative-id":["10.1145\/3510003.3510082","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510082","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}