{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T14:49:09Z","timestamp":1779202149101,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,10]]},"DOI":"10.1145\/3092703.3098225","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"376-379","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":59,"title":["JFIX: semantics-based repair of Java programs via symbolic PathFinder"],"prefix":"10.1145","author":[{"given":"Xuan-Bach D.","family":"Le","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duc-Hiep","family":"Chu","sequence":"additional","affiliation":[{"name":"IST, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lo","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Le Goues","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[{"name":"Stellenbosch University, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2016. Apache common Math library. (2016). http:\/\/commons.apache.org\/proper\/ commons-math\/  2016. Apache common Math library. (2016). http:\/\/commons.apache.org\/proper\/ commons-math\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_3_2_1_3_1","volume-title":"Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa.","author":"Alur Rajeev","year":"2015","unstructured":"Rajeev Alur , Rastislav Bodik , Garvit Juniwal , Milo MK Martin , Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2015 . Syntax-guided synthesis. Dependable Software Systems Engineering ( 2015). Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2015. Syntax-guided synthesis. Dependable Software Systems Engineering (2015)."},{"key":"e_1_3_2_1_4_1","volume-title":"Daniel Le Berre, and Martin Monperrus","author":"DeMarco Favio","year":"2014","unstructured":"Favio DeMarco , Jifeng Xuan , Daniel Le Berre, and Martin Monperrus . 2014 . Automatic repair of buggy if conditions and missing preconditions with smt. Favio DeMarco, Jifeng Xuan, Daniel Le Berre, and Martin Monperrus. 2014. Automatic repair of buggy if conditions and missing preconditions with smt."},{"key":"e_1_3_2_1_6_1","unstructured":"Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In ICSE.   Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013. Automatic patch generation learned from human-written patches. In ICSE."},{"key":"e_1_3_2_1_7_1","unstructured":"Tien-Duy B Le Xuan-Bach D Le David Lo and Ivan Beschastnikh. 2015. Synergizing specification miners through model fissions and fusions (t). In ASE.  Tien-Duy B Le Xuan-Bach D Le David Lo and Ivan Beschastnikh. 2015. Synergizing specification miners through model fissions and fusions (t). In ASE."},{"key":"e_1_3_2_1_8_1","volume-title":"David Lo, and Claire Le Goues.","author":"Le Xuan Bach D.","year":"2016","unstructured":"Xuan Bach D. Le , Quang Loc Le , David Lo, and Claire Le Goues. 2016 . Enhancing Automated Program Repair with Deductive Verification. In ICSME. Xuan Bach D. Le, Quang Loc Le, David Lo, and Claire Le Goues. 2016. Enhancing Automated Program Repair with Deductive Verification. In ICSME."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381836"},{"key":"e_1_3_2_1_10_1","unstructured":"Xuan Bach D Le David Lo and Claire Le Goues. 2016. Empirical study on synthesis engines for semantics-based program repair. ICSME.  Xuan Bach D Le David Lo and Claire Le Goues. 2016. Empirical study on synthesis engines for semantics-based program repair. ICSME."},{"key":"e_1_3_2_1_11_1","volume-title":"23rd SANER.","author":"Le Xuan Bach D","unstructured":"Xuan Bach D Le , David Lo , and Claire Le Goues . 2016. History Driven Program Repair . In 23rd SANER. Xuan Bach D Le, David Lo, and Claire Le Goues. 2016. History Driven Program Repair. In 23rd SANER."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2454513"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948705"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9077-5"},{"key":"e_1_3_2_1_19_1","volume-title":"Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. ASE journal","author":"P\u0103s\u0103reanu Corina S","year":"2013","unstructured":"Corina S P\u0103s\u0103reanu , Willem Visser , David Bushnell , Jaco Geldenhuys , Peter Mehlitz , and Neha Rungta . 2013. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. ASE journal ( 2013 ). Corina S P\u0103s\u0103reanu, Willem Visser, David Bushnell, Jaco Geldenhuys, Peter Mehlitz, and Neha Rungta. 2013. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. ASE journal (2013)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Ferdian Thung Xuan-Bach D Le and David Lo. 2015. Active semi-supervised defect categorization. In ICPC.   Ferdian Thung Xuan-Bach D Le and David Lo. 2015. Active semi-supervised defect categorization. In ICPC.","DOI":"10.1109\/ICPC.2015.15"},{"key":"e_1_3_2_1_22_1","volume-title":"Model Checking Programs. Automated Software Engineering","author":"Visser Willem","year":"2000","unstructured":"Willem Visser , Klaus Havelund , Guillaume Brat , SeungJoon Park , and Flavio Lerda . 2000. Model Checking Programs. Automated Software Engineering ( 2000 ). Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park, and Flavio Lerda. 2000. Model Checking Programs. Automated Software Engineering (2000)."}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","location":"Santa Barbara CA USA","acronym":"ISSTA '17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3098225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3098225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:27Z","timestamp":1750217847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3098225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":21,"alternative-id":["10.1145\/3092703.3098225","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3098225","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}