{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,27]],"date-time":"2025-04-27T01:02:25Z","timestamp":1745715745114},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115718","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"996-1001","source":"Crossref","is-referenced-by-count":11,"title":["IntPTI: Automatic integer error repair with proper-type inference"],"prefix":"10.1109","author":[{"given":"Xi","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74105-3_3"},{"key":"ref30","article-title":"The smt-lib standard version 2.0","author":"barrett","year":"2012","journal-title":"SMT-LIB Initiative Tech Rep"},{"key":"ref10","article-title":"RICH: automatically protecting against integer-based vulnerabilities","author":"brumley","year":"2007","journal-title":"NDSS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2743019"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.29"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref18","first-page":"298","article-title":"Automatic patch generation by learning correct code","year":"2016","journal-title":"POPL"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"journal-title":"2011 CWE\/SANS Top 25 Most Dangerous Software Errors","year":"2011","author":"christey","key":"ref4"},{"key":"ref27","article-title":"Program analysis and specialization for the c programming language","author":"andersen","year":"1994","journal-title":"University of Cophenhagen"},{"journal-title":"CVE-2016–9754","year":"2016","key":"ref3"},{"key":"ref6","article-title":"Modular bug-finding for integer overflows in the large: Sound, efficient, bit-precise static analysis","author":"moy","year":"2009","journal-title":"Tech Rep MSR-TR-2009–153"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_51"},{"journal-title":"MIPS IV Instruction Set","year":"1995","author":"price","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694389"},{"key":"ref7","first-page":"67","article-title":"Dynamic test generation to find integer bugs in x86 binary linux programs","author":"molnar","year":"2009","journal-title":"USENIX Security Symposium"},{"journal-title":"CVE-2016–9793","year":"2016","key":"ref2"},{"key":"ref9","first-page":"163","article-title":"Im-proving integer security for systems with KINT","author":"wang","year":"2012","journal-title":"OSDI"},{"journal-title":"F A A Orders Fix for Possible Power Loss in Boeing 787","year":"0","author":"times","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568258"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606625"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v24i1.7545","article-title":"A new algorithm for weighted partial maxsat","author":"ans\u00f3tegui","year":"2010","journal-title":"AAAI"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.70"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"ref25","first-page":"337","article-title":"Z3: an efficient SMT solver","author":"de moura","year":"2008","journal-title":"TACAS"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","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\/08115718.pdf?arnumber=8115718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T01:12:32Z","timestamp":1693271552000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115718\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115718","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}