{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T03:38:42Z","timestamp":1785901122651,"version":"3.56.0"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"INRIA Internship program"},{"name":"INRIA postdoctoral research fellowship"},{"DOI":"10.13039\/501100004794","name":"CNRS delegation program","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004794","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61502345"],"award-info":[{"award-number":["61502345"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Young Talent Development Program of the China Computer Federation"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2017,1,1]]},"DOI":"10.1109\/tse.2016.2560811","type":"journal-article","created":{"date-parts":[[2016,4,29]],"date-time":"2016-04-29T14:46:14Z","timestamp":1461941174000},"page":"34-55","source":"Crossref","is-referenced-by-count":350,"title":["Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2968-3496","authenticated-orcid":false,"given":"Jifeng","family":"Xuan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matias","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Favio","family":"DeMarco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maxime","family":"Clement","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian Lamelas","family":"Marcote","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Durieux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Le Berre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Monperrus","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.08.006"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2000791.2000795"},{"key":"ref33","year":"0"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_36"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351752"},{"key":"ref30","article-title":"Spoon: A library for implementing analyses and transformations of\n Java source code","author":"pawlak","year":"2015","journal-title":"Softw Practice Exp"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2652484"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.016"},{"key":"ref28","year":"0"},{"key":"ref27","year":"0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"ref21","article-title":"Automatic repair of infinite loops","author":"lamelas marcote","year":"2015"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483767"},{"key":"ref26","first-page":"313","article-title":"Fine-grained and accurate source code differencing","author":"falleri","year":"0","journal-title":"Proc 29th ACM\/IEEE Int Conf Automated Softw Eng"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591114"},{"key":"ref51","first-page":"913","article-title":"An empirical study on fixing real bugs","author":"zhong","year":"0","journal-title":"Proc 37th Int Conf Softw Eng"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635906"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491513"},{"key":"ref54","article-title":"Automatic repair of real bugs: An experience report on the\n defects4J dataset","author":"martinez","year":"2015"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454513"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568324"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref13","first-page":"24","article-title":"An analysis of patch plausibility and correctness for\n generate-and-validate patch generation systems","author":"qi","year":"0","journal-title":"Proc Int'l Symp on Softw Testing and Analysis"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref15","first-page":"226","article-title":"Program repair as a game","author":"jobstmann","year":"0","journal-title":"Proc Comput Aided Verification"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9077-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390652"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134324"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985811"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9282-8"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635898"},{"key":"ref9","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"moura","year":"0","journal-title":"Proc Theory Practice Softw 14th Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882327"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635873"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336775"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"ref44","first-page":"295","article-title":"Repairing programs with semantic code search","author":"ke","year":"0","journal-title":"Proc 30th IEEE\/ACM Int Conf Automated Softw Eng"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7809237\/07463060.pdf?arnumber=7463060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:38:04Z","timestamp":1641987484000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7463060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":56,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2560811","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}