{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T02:58:09Z","timestamp":1792119489994,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3604919","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1483-1486","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["RustSmith: Random Differential Compiler Testing for Rust"],"prefix":"10.1145","author":[{"given":"Mayank","family":"Sharma","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pingshi","family":"Yu","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. libFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html \t\t\t\t  [n. d.]. libFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html"},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. Mutabah\u2019s Rust Compiler. https:\/\/github.com\/thepowersgang\/mrustc \t\t\t\t  [n. d.]. Mutabah\u2019s Rust Compiler. https:\/\/github.com\/thepowersgang\/mrustc"},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. Rust Fuzzing Trophy Case. https:\/\/github.com\/rust-fuzz\/trophy-case \t\t\t\t  [n. d.]. Rust Fuzzing Trophy Case. https:\/\/github.com\/rust-fuzz\/trophy-case"},{"key":"e_1_3_2_1_4_1","unstructured":"[n. d.]. The const propagator cannot trace references. https:\/\/github.com\/rust-lang\/rust\/pull\/73613 \t\t\t\t  [n. d.]. The const propagator cannot trace references. https:\/\/github.com\/rust-lang\/rust\/pull\/73613"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3363562","article-title":"A survey of compiler testing","volume":"53","author":"Chen Junjie","year":"2020","unstructured":"Junjie Chen , Jibesh Patra , Michael Pradel , Yingfei Xiong , Hongyu Zhang , Dan Hao , and Lu Zhang . 2020 . A survey of compiler testing . Comput. Surveys , 53 , 1 (2020), 1 \u2013 36 . Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. 2020. A survey of compiler testing. Comput. Surveys, 53, 1 (2020), 1\u201336.","journal-title":"Comput. Surveys"},{"key":"e_1_3_2_1_6_1","unstructured":"T.Y. Chen S.C. Cheung and S.M. Yiu. 1998. Metamorphic Testing: a New Approach for Generating Next Test Cases. Department of Computer Science The Hong Kong University of Science and Technology. \t\t\t\t  T.Y. Chen S.C. Cheung and S.M. Yiu. 1998. Metamorphic Testing: a New Approach for Generating Next Test Cases. Department of Computer Science The Hong Kong University of Science and Technology."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 14th USENIX Conference on Offensive Technologies. 10\u201310","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi , Dominik Maier , Heiko Ei\u00df feldt, and Marc Heuse . 2020 . AFL++ combining incremental steps of fuzzing research . In Proceedings of the 14th USENIX Conference on Offensive Technologies. 10\u201310 . Andrea Fioraldi, Dominik Maier, Heiko Ei\u00df feldt, and Marc Heuse. 2020. AFL++ combining incremental steps of fuzzing research. In Proceedings of the 14th USENIX Conference on Offensive Technologies. 10\u201310."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373087.3375310"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_13_1","unstructured":"Donough Liu. 2022. Infinite recursion optimized away with opt-level=z. https:\/\/github.com\/rust-lang\/rust\/issues\/97428 \t\t\t\t  Donough Liu. 2022. Infinite recursion optimized away with opt-level=z. https:\/\/github.com\/rust-lang\/rust\/issues\/97428"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360581"},{"key":"e_1_3_2_1_16_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman . 1998 . Differential testing for software . Digital Technical Journal , 10 , 1 (1998), 100 \u2013 107 . William M McKeeman. 1998. Differential testing for software. Digital Technical Journal, 10, 1 (1998), 100\u2013107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_17_1","unstructured":"Martin Pool. 2023. cargo-mutants GitHub repository. https:\/\/github.com\/sourcefrog\/cargo-mutants \t\t\t\t  Martin Pool. 2023. cargo-mutants GitHub repository. https:\/\/github.com\/sourcefrog\/cargo-mutants"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_19_1","unstructured":"Mayank Sharma. 2022. Bug thrown with nested return. https:\/\/github.com\/thepowersgang\/mrustc\/issues\/275 \t\t\t\t  Mayank Sharma. 2022. Bug thrown with nested return. https:\/\/github.com\/thepowersgang\/mrustc\/issues\/275"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604919","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3604919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:59Z","timestamp":1750178279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604919"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":20,"alternative-id":["10.1145\/3597926.3604919","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3604919","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}