{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:45:44Z","timestamp":1770288344785,"version":"3.49.0"},"reference-count":68,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2014,5,1]],"date-time":"2014-05-01T00:00:00Z","timestamp":1398902400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/tse.2014.2312918","type":"journal-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T18:04:08Z","timestamp":1395338648000},"page":"427-449","source":"Crossref","is-referenced-by-count":98,"title":["Automated Fixing of Programs with Contracts"],"prefix":"10.1109","volume":"40","author":[{"given":"Yu","family":"Pei","sequence":"first","affiliation":[]},{"given":"Carlo A.","family":"Furia","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Nordio","sequence":"additional","affiliation":[]},{"given":"Yi","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2011.01.023"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201238"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9062-z"},{"key":"ref31","author":"beck","year":"2002","journal-title":"Test-driven Development"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2002.1167755"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/949343.949314"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.92"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368222"},{"key":"ref28","author":"pei","year":"0"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.65"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1984665.1984673"},{"key":"ref64","first-page":"552","article-title":"Falling back on executable specifications","author":"samimi","year":"2010","journal-title":"Proc 24th Eur Conf Object-Oriented Programm"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"ref29","year":"0"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330683"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/1409360.1409382"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"ref20","author":"muchnick","year":"1997","journal-title":"Advanced Compiler Design and Implementation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483785"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.09.037"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321702"},{"key":"ref23","author":"chou","year":"1975","journal-title":"Statistical Analysis"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref25","year":"0"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882327"},{"key":"ref51","first-page":"93","article-title":"Achieving cost-effective software reliability through self-healing","volume":"29","author":"gorla","year":"2010","journal-title":"Inform Comput"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.27"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_21"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227186"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2008.4639073"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2005.42"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"ref53","first-page":"111","article-title":"Automatic corrections to safety violations in programs","author":"janjua","year":"2006","journal-title":"Proc Thread Verification Workshop"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"ref10","first-page":"127","article-title":"Specifying reusable components","volume":"6217 aug 2010","author":"polikarpova","year":"0","journal-title":"Proc Int'l Conf Verified Software Theories Tools Experiments"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1735223.1735249"},{"key":"ref11","year":"0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606572"},{"key":"ref13","author":"meyer","year":"2000","journal-title":"Object-Oriented Software Construction"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-73770-4_7","article-title":"Using contracts and Boolean queries to improve the quality of automatic test generation","author":"liu","year":"2007","journal-title":"Proc 1st Int Conf Tests Proofs"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/302405.302467","article-title":"dynamically discovering likely program invariants to support program evolution","author":"ernst","year":"1999","journal-title":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat No 99CB37002) ICSE"},{"key":"ref18","year":"0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/800028.808479"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.296"},{"key":"ref3","first-page":"1122","article-title":"Large-scale test automation in the cloud","author":"penix","year":"2012","journal-title":"Proc 34th Int'l Conf Software Eng"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572284"},{"key":"ref5","year":"0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"ref7","article-title":"Contracts in practice","author":"estler","year":"2014","journal-title":"Proc 19th Int Symp Formal Methods"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.05.005"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100080"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2330163.2330296"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.23"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985811"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-540-24721-0_20","article-title":"Automated debugging using path-based weakest preconditions","author":"he","year":"2004","journal-title":"Proc of Intl Conf Fundamental Approaches to Software Engineering"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173734"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-642-19835-9_15","article-title":"Specification-based program repair using SAT","author":"gopinath","year":"2011","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/6815702\/06776507.pdf?arnumber=6776507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:54:47Z","timestamp":1642006487000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6776507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":68,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.2014.2312918","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5]]}}}