{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:38:53Z","timestamp":1774373933077,"version":"3.50.1"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115674","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"637-647","source":"Crossref","is-referenced-by-count":81,"title":["Contract-based program repair without the contracts"],"prefix":"10.1109","author":[{"given":"Liushan","family":"Chen","sequence":"first","affiliation":[]},{"given":"Yu","family":"Pei","sequence":"additional","affiliation":[]},{"given":"Carlo A.","family":"Furia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950295"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134324"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.45"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.09.037"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568258"},{"key":"ref11","first-page":"295","article-title":"Repairing programs with semantic code search","author":"ke","year":"2015","journal-title":"IEEE\/ACM Int Conference on Automated Software Engineering (ASE)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref13","first-page":"213","article-title":"History driven program repair","volume":"1","author":"le","year":"2016","journal-title":"2016 IEEE 23rd International Conference on Software Analysis Evolution and Reengineering"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454513"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.92"},{"key":"ref19","article-title":"Automatic repair of real bugs in Java: A large-scale experiment on the Defects4J dataset","author":"martinez","year":"2016","journal-title":"Empirical Software Engineering"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985811"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/949343.949314"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70731"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368222"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591114"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref23","article-title":"Automatic software repair: a bibliography","author":"monperrus","year":"2015","journal-title":"University of Lille Tech Rep # hal-01206501"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100080"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"}],"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\/08115674.pdf?arnumber=8115674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T22:47:17Z","timestamp":1515451637000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115674\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115674","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}