{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:10Z","timestamp":1750309330050,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["1909688"],"award-info":[{"award-number":["1909688"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EPSRC Centre for Doctoral Training in Cybersecurity","award":["EP\/S022503\/1"],"award-info":[{"award-number":["EP\/S022503\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695308","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"2324-2328","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Mining for Mutation Operators for Reduction of Information Flow Control Violations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9832-7295","authenticated-orcid":false,"given":"Ilya","family":"Kosorukov","sequence":"first","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7320-9057","authenticated-orcid":false,"given":"Daniel","family":"Blackwell","sequence":"additional","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7004-934X","authenticated-orcid":false,"given":"David","family":"Clark","sequence":"additional","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2443-2425","authenticated-orcid":false,"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, Iowa, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7833-6044","authenticated-orcid":false,"given":"Justyna","family":"Petke","sequence":"additional","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"unstructured":"2009. CVE-2009-3002. Available from MITRE CVE-ID CVE-2009-3002. https:\/\/www.cve.org\/CVERecord?id=CVE-2009-3002","key":"e_1_3_2_1_1_1"},{"unstructured":"2014. CVE-2014-0160. Available from MITRE CVE-ID CVE-2014-0160. https:\/\/www.cve.org\/CVERecord?id=CVE-2014-0160","key":"e_1_3_2_1_2_1"},{"unstructured":"2019. CVE-2019-16714. Available from MITRE CVE-ID CVE-2019-16714. https:\/\/www.cve.org\/CVERecord?id=CVE-2019-16714","key":"e_1_3_2_1_3_1"},{"unstructured":"2021. CVE-2021-28861. Available from MITRE CVE-ID CVE-2021-28861. https:\/\/www.cve.org\/CVERecord?id=CVE-2021-28861","key":"e_1_3_2_1_4_1"},{"unstructured":"2022. CVE-2022-0891. Available from MITRE CVE-ID CVE-2022-0891. https:\/\/www.cve.org\/CVERecord?id=CVE-2022-0891","key":"e_1_3_2_1_5_1"},{"unstructured":"2022. CVE-2022-23318. Available from MITRE CVE-ID CVE-2022-23318. https:\/\/www.cve.org\/CVERecord?id=CVE-2022-23318","key":"e_1_3_2_1_6_1"},{"unstructured":"2022. CVE-2022-39310. Available from MITRE CVE-ID CVE-2022-39310. https:\/\/www.cve.org\/CVERecord?id=CVE-2022-39310","key":"e_1_3_2_1_7_1"},{"unstructured":"2022. CVE-2022-40768. Available CVE-ID CVE-2022-40768. https:\/\/www.cve.org\/CVERecord?id=CVE-2022-40768","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/978-3-642-39799-8_49"},{"doi-asserted-by":"crossref","unstructured":"Daniel Blackwell Ingolf Becker and David Clark. 2023. Hyperfuzzing: blackbox security hypertesting with a grey-box fuzzer. arXiv:2308.09081 [cs.SE] https:\/\/arxiv.org\/abs\/2308.09081","key":"e_1_3_2_1_10_1","DOI":"10.1007\/s10664-024-10556-3"},{"key":"e_1_3_2_1_11_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Cho Haehyun","year":"2020","unstructured":"Haehyun Cho, Jinbum Park, Joonwon Kang, Tiffany Bao, Ruoyu Wang, Yan Shoshitaishvili, Adam Doup\u00e9, and Gail-Joon Ahn. 2020. Exploiting uses of uninitialized stack variables in linux kernels to leak kernel pointers. In 14th USENIX Workshop on Offensive Technologies (WOOT 20)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/SP.1982.10014"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/3377811.3380428"},{"volume-title":"Software safety and security","author":"Hedin Daniel","unstructured":"Daniel Hedin and Andrei Sabelfield. 2012. A perspective on information-flow control. In Software safety and security. IOS Press, 319--347.","key":"e_1_3_2_1_14_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/1920261.1920300"},{"key":"e_1_3_2_1_16_1","volume-title":"Hypertesting: The Case for Automated Testing of Hyperproperties. In 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot","author":"Kinder Johannes","year":"2015","unstructured":"Johannes Kinder. 2015. Hypertesting: The Case for Automated Testing of Hyperproperties. In 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015). 1--8. 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015) ; Conference date: 18-04-2015."},{"unstructured":"Ilya Kosorukov Daniel Blackwell David Clark Myra B. Cohen and Justyna Petke. 2024. Our repository with analysis of 73 bug repairs and responses from ChatGPT and LLama-3 when prompted to fix an example memory leak. https:\/\/github.com\/SOLAR-group\/infoleakmining","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3551349.3556947"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1109\/ASE51524.2021.9678758"},{"unstructured":"Meta. [n. d.]. Llama-3-70B. https:\/\/huggingface.co\/meta-llama\/Meta-Llama-3-70B-Instruct Accessed: 14\/06\/2024.","key":"e_1_3_2_1_20_1"},{"unstructured":"National Institute of Standards and Technology. [n. d.]. National Vulnerabilities Database. https:\/\/nvd.nist.gov\/ Last accessed: 14\/06\/2024.","key":"e_1_3_2_1_21_1"},{"unstructured":"OpenAI. [n. d.]. ChatGPT. https:\/\/openai.com\/index\/chatgpt\/ Accessed: 14\/06\/2024.","key":"e_1_3_2_1_22_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/3597503.3640323"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1109\/TEVC.2017.2693219"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/2382756.2382791"},{"unstructured":"Riccardo Poli William B. Langdon and Nicholas Freitag McPhee. 2008. A field guide to genetic programming. Published via http:\/\/lulu.com and freely available at http:\/\/www.gp-field-guide.org.uk. http:\/\/www.gp-field-guide.org.uk (With contributions by J. R. Koza).","key":"e_1_3_2_1_26_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.3390\/cryptography4020015"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1109\/APR59189.2023.00012"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.48550\/ARXIV.2403.17218"},{"unstructured":"The MITRE Corporation. [n. d.]. The CVE Database. https:\/\/cve.mitre.org\/ Last accessed: 14\/06\/2024.","key":"e_1_3_2_1_30_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/3434330"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.3233\/JCS-1996-42-304"}],"event":{"sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"acronym":"ASE '24","name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA"},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695308","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3691620.3695308","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:07Z","timestamp":1750291447000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":32,"alternative-id":["10.1145\/3691620.3695308","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695308","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}