{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T12:24:27Z","timestamp":1772627067802,"version":"3.50.1"},"reference-count":115,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1453474"],"award-info":[{"award-number":["CCF-1453474"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1563797"],"award-info":[{"award-number":["CCF-1563797"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1564162"],"award-info":[{"award-number":["CCF-1564162"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1645136"],"award-info":[{"award-number":["CCF-1645136"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1763423"],"award-info":[{"award-number":["CCF-1763423"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2021,10,1]]},"DOI":"10.1109\/tse.2019.2944914","type":"journal-article","created":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T19:50:17Z","timestamp":1569959417000},"page":"2162-2181","source":"Crossref","is-referenced-by-count":43,"title":["SOSRepair: Expressive Semantic Search for Real-World Program Repair"],"prefix":"10.1109","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1942-6573","authenticated-orcid":false,"given":"Afsoon","family":"Afzal","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5129-3980","authenticated-orcid":false,"given":"Manish","family":"Motwani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0584-7094","authenticated-orcid":false,"given":"Kathryn T.","family":"Stolee","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3027-7986","authenticated-orcid":false,"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3931-060X","authenticated-orcid":false,"given":"Claire","family":"Le Goues","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095817"},{"key":"ref2","article-title":"American fuzzy lop","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264590"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635898"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2369047"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568246"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180219"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213872"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106255"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264838"},{"key":"ref12","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. USENIX Conf. Operating Syst. Des. Implementation","author":"Cadar"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882327"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115674"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115718"},{"key":"ref17","article-title":"Clang: A C language family frontend for LLVM","author":"Lattner","year":"2019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_21"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106241"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502041"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.14778\/2850583.2850592"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882315"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106277"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.81"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568234"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192387"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10742"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814295"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227135"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180245"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213871"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.60"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595756"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.83"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081843"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098225"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.76"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182536"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454513"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330202"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.47"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859081"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106253"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884872"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330201"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00039"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591114"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180247"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"issue":"3","key":"ref65","first-page":"59","article-title":"Causality in databases","volume":"33","author":"Meliou","year":"2010","journal-title":"IEEE Data Eng. Bull."},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.14778\/1880172.1880176"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.14778\/2733004.2733070"},{"key":"ref68","first-page":"234","article-title":"A critical review of \u201cAutomatic patch generation learned from human-written patches","volume-title":"Proc. ACM\/IEEE Int. Conf. Softw. Eng.","author":"Monperrus"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00035"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9550-0"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494580"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771792"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070525"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919096"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.44"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115675"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00020"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491426"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3360585"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.86"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483767"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393625"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1145\/2581377"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.081"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180243"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931058"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106300"},{"key":"ref95","first-page":"446","article-title":"Poster: BugZoo\u2014A platform for studying software bugs","volume-title":"Proc. ACM\/IEEE Int. Conf. Softw. Eng.","author":"Timperley"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635875"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180250"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-015-0223-6"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381842"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192384"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.36"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2750549"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2899388"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3035925"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983934"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173734"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180233"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115676"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180182"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106274"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9619-4"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.101"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/32\/9573514\/8854217-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9573514\/08854217.pdf?arnumber=8854217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T23:50:01Z","timestamp":1706053801000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8854217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,1]]},"references-count":115,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tse.2019.2944914","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,1]]}}}