{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:59:34Z","timestamp":1783007974218,"version":"3.54.5"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115662","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"509-519","source":"Crossref","is-referenced-by-count":61,"title":["A comprehensive study of real-world numerical bug characteristics"],"prefix":"10.1109","author":[{"given":"Anthony","family":"Di Franco","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hui","family":"Guo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cindy","family":"Rubio-Gonzalez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884850"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/1346281.1346323","article-title":"Learning from mistakes: a comprehensive study on real world concurrency bug characteristics","author":"lu","year":"2008","journal-title":"ASPLOS"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.50"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2427023.2427030"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568309"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2013.18"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884829"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.25"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"ref15","first-page":"271","article-title":"Practical floating-point divergence detection","author":"chiang","year":"2015","journal-title":"LCPC"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2015.20"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535874"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"ref19","first-page":"760","article-title":"Understanding integer overflow in c\/c++","author":"dietz","year":"2012","journal-title":"ICSE"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115670"},{"key":"ref4","year":"0","journal-title":"The Explosion of the Ariane 5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"ref3","year":"2017","journal-title":"PARI\/GP version 2 9 0 Bordeaux"},{"key":"ref6","year":"0","journal-title":"LAPACK - Linear Algebra Package"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.41"},{"key":"ref5","year":"0","journal-title":"GSL - GNU scientific library"},{"key":"ref8","first-page":"37","year":"1983","journal-title":"The Wall Street Journal"},{"key":"ref7","year":"0","journal-title":"NumPy Base N-Dimensional Array Package"},{"key":"ref2","year":"0","journal-title":"Toyota Software to Blame for Prius Brake Problems"},{"key":"ref9","author":"an","year":"2008","journal-title":"Fpinst Floating point error analysis using dyninst"},{"key":"ref1","first-page":"754","article-title":"IEEE standard for binary floating-point arithmetic","year":"1985","journal-title":"Institute of Electrical and Electronics Engineers New York"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814317"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.70"},{"key":"ref22","article-title":"IEEE. 1788–2015 - IEEE Standard for Interval Arithmetic","year":"2015","journal-title":"IEEE-SA Standards Board"},{"key":"ref21","author":"gustafson","year":"2017","journal-title":"Beyond floating point Next-generation computer arithmetic"},{"key":"ref42","first-page":"532","article-title":"Rigorous estimation of floating-point round-off errors with symbolic taylor expansions","author":"solovyev","year":"2015","journal-title":"FM"},{"key":"ref24","author":"jones","year":"0","journal-title":"SciPy Open source scientific tools for Python 2001"},{"key":"ref41","first-page":"11","article-title":"Roundoff error and the patriot missile","volume":"25","author":"skeel","year":"1992","journal-title":"SIAM News"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254075"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814299"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332456"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465018"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115662.pdf?arnumber=8115662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T18:31:02Z","timestamp":1570386662000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115662\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115662","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}