{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:58:17Z","timestamp":1790927897142,"version":"4.1.0"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"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":["61772107"],"award-info":[{"award-number":["61772107"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61722202"],"award-info":[{"award-number":["61722202"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61902181"],"award-info":[{"award-number":["61902181"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62032004"],"award-info":[{"award-number":["62032004"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,7,1]]},"DOI":"10.1109\/tse.2021.3058671","type":"journal-article","created":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T21:58:17Z","timestamp":1613080697000},"page":"2339-2358","source":"Crossref","is-referenced-by-count":36,"title":["CTOS: Compiler Testing for Optimization Sequences of LLVM"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8674-4948","authenticated-orcid":false,"given":"He","family":"Jiang","sequence":"first","affiliation":[{"name":"School of Software, and Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6195-7605","authenticated-orcid":false,"given":"Zhide","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Software, and Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhilei","family":"Ren","sequence":"additional","affiliation":[{"name":"School of Software, and Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8437-6640","authenticated-orcid":false,"given":"Jingxuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5068-1938","authenticated-orcid":false,"given":"Xiaochen","family":"Li","sequence":"additional","affiliation":[{"name":"SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-010-0161-2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384628"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2400682.2400715"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2883614"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3124452"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/321992.322000"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1014194.800942"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085132"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/spe.812"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069039"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993532"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"ref15","first-page":"386","article-title":"Finding deep compiler bugs via guided stochastic program mutation","volume-title":"Proc. ACM SIGPLAN Int. Conf. Object-Oriented Program. Syst. Lang. Appl.","author":"Vu"},{"key":"ref16","first-page":"327","article-title":"Randomized stress-testing of link-time optimizers","volume-title":"Proc. Int. Symp. Softw. Testing Anal.","author":"Vu"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2889771"},{"key":"ref21","article-title":"LLVM language reference manual,"},{"key":"ref22","article-title":"LLVMs analysis and transform passes,"},{"key":"ref23","article-title":"Clang: A C language family frontend for LLVM,"},{"key":"ref24","article-title":"Rust program language"},{"key":"ref25","article-title":"Swift program language,"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"ref27","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Conf. Operating Syst. Des. Implementation","author":"Cadar"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_22"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.5555\/3044805.3045025"},{"key":"ref30","first-page":"3111","article-title":"Distributed representations of words and phrases and their compositionality","volume-title":"Proc. Int. Conf. Neural Inf. Process. Syst.","author":"Mikolov"},{"issue":"1","key":"ref31","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman","year":"1998","journal-title":"Digit. Tech. J."},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8467-7_1"},{"key":"ref33","article-title":"Compilers: Principles, Techniques, and Tools (2nd Edition)","author":"Aho"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178258"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2009.02.015"},{"key":"ref37","first-page":"727","article-title":"X-means: Extending K-means with efficient estimation of the number of clusters","volume-title":"Proc. 17th Int. Conf. Mach. Learn.","author":"Pelleg"},{"key":"ref38","first-page":"45","article-title":"Software framework for topic modelling with large corpora","volume-title":"Proc. LREC Workshop New Challenges NLP Frameworks","author":"\u0158eh\u016f\u0159ek"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W16-1609"},{"key":"ref40","first-page":"11","article-title":"Exploring network structure, dynamics, and function using NetworkX","volume-title":"Proc. 7th Python Sci. Conf.","author":"Schult"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01230"},{"key":"ref42","article-title":"CCG: A random C code generator,","author":"Balestrat"},{"key":"ref43","article-title":"Yarpgen,","author":"Dmitry Babokin"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3278186.3278193"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.6028\/nist.sp.800-142"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00037"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338957"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1727"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00037"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.70"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3197978"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996863"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1071604.1071607"},{"key":"ref67","first-page":"308","article-title":"AutoPhase: Compiler phase-ordering for high level synthesis with deep reinforcement learning","author":"Haj-Ali"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9830789\/09353261.pdf?arnumber=9353261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:49:47Z","timestamp":1704844187000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9353261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,1]]},"references-count":60,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tse.2021.3058671","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,1]]}}}