{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:46:52Z","timestamp":1768031212942,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004735","name":"Natural Science Foundation of Hunan Province","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004735","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1109\/saner56733.2023.00030","type":"proceedings-article","created":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T17:54:24Z","timestamp":1684173264000},"page":"224-235","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability"],"prefix":"10.1109","author":[{"given":"Hengbiao","family":"Yu","sequence":"first","affiliation":[{"name":"National University of Defense Technology,College of Computer,Changsha,China"}]},{"given":"Xin","family":"Yi","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,College of Computer,Changsha,China"}]},{"given":"Banghu","family":"Yin","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,College of System Engineering,Changsha,China"}]},{"given":"Fa","family":"Li","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,College of Computer,Changsha,China"}]},{"given":"Zhenbang","family":"Chen","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,College of Computer,Changsha,China"}]},{"given":"Chun","family":"Huang","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,College of Computer,Changsha,China"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3290369"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048094"},{"key":"ref12","first-page":"529","article-title":"A genetic algorithm for detecting significant floating-point inaccuracies","author":"zou","year":"2015","journal-title":"Proceedings of the International Conference on Software Engineering ICSE'94"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141584"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950355"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454035"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_33"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192411"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2017.7"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"ref32","article-title":"VERROU: Assessing Floating-Point Accuracy Without Recompiling","author":"f\u00e9votte","year":"2016","journal-title":"working paper or preprint"},{"key":"ref2","article-title":"Roundoff error and the patriot missile","author":"skeel","year":"1992","journal-title":"SIAM News (1992)"},{"key":"ref1","article-title":"Ever had problems rounding off figures. this stock exchange has","author":"quinn","year":"1983","journal-title":"The Wall Street Journal"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380359"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3371128"},{"key":"ref19","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00051"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213862"},{"key":"ref26","first-page":"305","author":"schkufza","year":"2013","journal-title":"Architectural Support for Programming Languages and Operating Systems ASPLOS 2013 Houston TX USA March 16-20 2013"},{"key":"ref25","article-title":"Ieee standard for floating-point arithmetic","author":"society","year":"2008"},{"key":"ref20","article-title":"Varity","year":"0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"ref21","article-title":"Markov chain monte carlo in practice: A roundtable discussion","author":"robert","year":"1997"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_11"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"ref8","article-title":"Consistency of floating-point results using the intel compiler or why doesnt my application always give the same answer","author":"corden","year":"2009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2931021.2931024"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00051"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2017.8167780"},{"key":"ref3","article-title":"Toyota: Software to blame for prius brake problems","year":"2020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00053"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3307681.3325960"}],"event":{"name":"2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","location":"Taipa, Macao","start":{"date-parts":[[2023,3,21]]},"end":{"date-parts":[[2023,3,24]]}},"container-title":["2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/10123438\/10123439\/10123640.pdf?arnumber=10123640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T17:43:26Z","timestamp":1687196606000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/10123640\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3]]},"references-count":37,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/saner56733.2023.00030","relation":{},"subject":[],"published":{"date-parts":[[2023,3]]}}}