{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T05:53:38Z","timestamp":1762322018574,"version":"3.37.3"},"reference-count":63,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC via the IRIS Programme","doi-asserted-by":"publisher","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"HiPEDS Doctoral Training Centre","doi-asserted-by":"publisher","award":["EP\/L016796\/1"],"award-info":[{"award-number":["EP\/L016796\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1109\/tse.2023.3326056","type":"journal-article","created":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T17:50:12Z","timestamp":1698169812000},"page":"5084-5102","source":"Crossref","is-referenced-by-count":3,"title":["Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2313-7910","authenticated-orcid":false,"given":"Dan","family":"Iorga","sequence":"first","affiliation":[{"name":"Department of Computing, Imperial College London, London, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6735-5533","authenticated-orcid":false,"given":"John","family":"Wickerson","sequence":"additional","affiliation":[{"name":"Department of Electrical and Electronic Engineering, Imperial College London, London, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7448-7961","authenticated-orcid":false,"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, London, U.K."}]}],"member":"263","reference":[{"article-title":"40 years of microprocessor trend data","year":"2015","author":"Rupp","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3158107"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_23"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314624"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_5"},{"article-title":"RMEM: A tool for exploring relaxed-memory concurrency","year":"2022","author":"Armstrong","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837615"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993520"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103717"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254102"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_27"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1512475.1512478"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581399"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"ref16","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Conf. Operat. Syst. Des. Implementation(OSDI)","author":"Cadar","year":"2008"},{"key":"ref17","article-title":"libFuzzer: A library for coverage-guided fuzz testing","volume-title":"Google","author":"Serebryany","year":"2022"},{"volume-title":"Centipede","year":"2023","key":"ref18"},{"volume-title":"American Fuzzy Lop","year":"2022","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338921"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3485497"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/tc.1979.1675439"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908114"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"volume-title":"The Fuzzing Book","year":"2023","author":"Zeller","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICGTSPICC.2016.7955308"},{"key":"ref27","article-title":"AFL++: Combining incremental steps of fuzzing research","volume-title":"Proc. 14th USENIX Workshop Offensive Technol. (WOOT)","author":"Fioraldi","year":"2020"},{"article-title":"AFL++ Project","volume-title":"AFL++ Overview","year":"2023","key":"ref28"},{"article-title":"Advanced Fuzzing League ++","volume-title":"American Fuzzy Lop plus plus (AFL++)","year":"2023","key":"ref29"},{"article-title":"Open sourcing clusterfuzz","year":"2019","author":"Arya","key":"ref30"},{"year":"2023","key":"ref31","article-title":"OSS-Fuzz"},{"year":"2023","key":"ref32","article-title":"afl_driver.cpp\u2014A glue between AFL and libFuzzer"},{"volume-title":"Circumventing Fuzzing Roadblocks With Compiler Transformations","year":"2016","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628143"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30820-8_29"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30820-8_29"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30820-8_32"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17502-3_19"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_16"},{"key":"ref40","article-title":"Verifiers and Validators of the 12th Intl","volume-title":"Competition on Software","author":"Beyer","year":"2023"},{"article-title":"Merge request to add memory model tests to the SV-COMP benchmark set","year":"2023","author":"Iorga","key":"ref41"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037723"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480929"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_28"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02450-5_8"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_29"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3290384"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2467280"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA53966.2022.00061"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009838"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509514"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_20"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45237-7_24"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3563292"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3579835"},{"key":"ref57","first-page":"331","article-title":"Automated conversion of axiomatic to operational models: Theory and practice","volume-title":"Proc. 22nd Formal Methods Comput.-Aided Des. (FMCAD)","author":"Godbole","year":"2022"},{"key":"ref58","article-title":"Verilator open-source SystemVerilog simulator and lint system","volume-title":"Veripool","author":"Snyder","year":"2022"},{"article-title":"Fuzzing hardware like software","year":"2021","author":"Trippel","key":"ref59"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88885-5_13"},{"volume-title":"The SPIN Model Checker\u2014Primer and Reference Manual","year":"2004","author":"Holzmann","key":"ref61"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.228"},{"article-title":"Model checking C programs by translating C to Promela","year":"2009","author":"Jiang","key":"ref63"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10354277\/10295416.pdf?arnumber=10295416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T01:13:44Z","timestamp":1703034824000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10295416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":63,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tse.2023.3326056","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2023,12]]}}}