{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T13:30:25Z","timestamp":1779888625544,"version":"3.53.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"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":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180250","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T10:45:16Z","timestamp":1544697916000},"page":"151-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":74,"title":["Static automated program repair for heap properties"],"prefix":"10.1145","author":[{"given":"Rijnard","family":"van Tonder","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire","family":"Le Goues","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"FindBugs Static Analyzer. https:\/\/github.com\/findbugsproject\/findbugs. (2017). Online","year":"2017","unstructured":"2017. FindBugs Static Analyzer. https:\/\/github.com\/findbugsproject\/findbugs. (2017). Online; accessed 26 August 2017."},{"key":"e_1_3_2_1_2_1","volume-title":"Google Error-prone bug-fixing commit. https:\/\/github.com\/google\/error-prone\/commit\/3709338. (2017). Online","year":"2017","unstructured":"2017. Google Error-prone bug-fixing commit. https:\/\/github.com\/google\/error-prone\/commit\/3709338. (2017). Online; accessed 16 January 2017."},{"key":"e_1_3_2_1_3_1","unstructured":"2017. Infer bug types. http:\/\/fbinfer.com\/docs\/infer-bug-types.html. (2017). Online; accessed 11 May 2017."},{"key":"e_1_3_2_1_4_1","unstructured":"2017. Infer experimental checkers. http:\/\/fbinfer.com\/docs\/experimental-checkers.html. (2017). Online; accessed 11 May 2017."},{"key":"e_1_3_2_1_5_1","unstructured":"2017. Infer Static Analyzer. http:\/\/fbinfer.com\/. (2017). Online; accessed 11 May 2017."},{"key":"e_1_3_2_1_6_1","unstructured":"2017. Resource Leak in C. http:\/\/fbinfer.com\/docs\/infer-bug-types.html#RESOURCE_LEAK. (2017). Online; accessed 16 January 2017."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_2_1_9_1","volume-title":"IEEE International Conference on Software Maintenance and Evolution (ICSME '16)","author":"Barik Titus","unstructured":"Titus Barik, Yoonki Song, Brittany Johnson, and Emerson R. Murphy-Hill. 2016. From Quick Fixes to Slow Fixes: Reimagining Static Analysis Resolutions to Enable Design Space Exploration. In IEEE International Conference on Software Maintenance and Evolution (ICSME '16). IEEE Computer Society, 211--221."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_5"},{"key":"e_1_3_2_1_12_1","volume-title":"O'Hearn","author":"Berdine Josh","year":"2012","unstructured":"Josh Berdine, Cristiano Calcagno, and Peter W. O'Hearn. 2012. Verification Condition Generation and Variable Conditions in Smallfoot. CoRR abs\/1204.4804 (2012)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_16"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986345"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Cristiano Calcagno Dino Distefano J\u00e9r\u00e9my Dubreil Dominik Gabi Pieter Hooimeijer Martino Luca Peter W. O'Hearn Irene Papakonstantinou Jim Purbrick and Dulma Rodriguez. 2015. Moving Fast with Software Verification. In NASA Formal Methods (NFM 15). 3--11.","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049700"},{"key":"e_1_3_2_1_19_1","volume-title":"Qlose: Program Repair with Quantitative Objectives. In Computer Aided Verification (CAV '16)","author":"D'Antoni Loris","year":"2016","unstructured":"Loris D'Antoni, Roopsha Samanta, and Rishabh Singh. 2016. Qlose: Program Repair with Quantitative Objectives. In Computer Aided Verification (CAV '16). 383--401."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","unstructured":"Dino Distefano and Ivana Filipovic. 2010. Memory Leaks Detection in Java byBiabductive Inference. In Fundamental Approaches to Software Engineering (FASE). 278--292. 10.1007\/978-3-642-12029-9_20","DOI":"10.1007\/978-3-642-12029-9_20"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_19"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449955.1449782"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987408"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_33"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","unstructured":"Ciera Jaspan I-Chin Chen and Anoop Sharma. 2007. Understanding the Value of Program Analysis Tools. In Object-oriented Programming Systems and Applications (OOPSLA'07). 963--970. 10.1145\/1297846.1297964","DOI":"10.1145\/1297846.1297964"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486877"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_2_1_29_1","volume-title":"Repairing Programs with Semantic Code Search. In International Conference on Automated Software Engineering (ASE'15)","author":"Ke Yalin","year":"2016","unstructured":"Yalin Ke, Kathryn T. Stolee, Claire Le Goues, and Yuriy Brun. 2016. Repairing Programs with Semantic Code Search. In International Conference on Automated Software Engineering (ASE'15). 295--306."},{"key":"e_1_3_2_1_30_1","volume-title":"Deductive Program Repair. In Computer Aided Verification (CAV '15)","author":"Kneuss Etienne","year":"2015","unstructured":"Etienne Kneuss, Manos Koukoutos, and Viktor Kuncak. 2015. Deductive Program Repair. In Computer Aided Verification (CAV '15). 217--233."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Xuan Bach D Le David Lo and Claire Le Goues. 2016. History Driven Program Repair. In Software Analysis Evolution and Reengineering (SANER '16). 213--224.","DOI":"10.1109\/SANER.2016.76"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Xuan-Bach D. Le David Lo and Claire Le Goues. 2016. History Driven Program Repair. In Software Analysis Evolution and Reengineering (SANER '16). 213--224.","DOI":"10.1109\/SANER.2016.76"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337225"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384626"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"Fan Long and Martin Rinard. 2016. Automatic Patch Generation by Learning Correct Code. In Principles of Programming Languages (POPL'16). 298--31. 10.1145\/2837614.2837617","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884872"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818811"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486890"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763048.1763074"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.035"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.11"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/647851.737404"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040326"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_52_1","volume-title":"Cost-Aware Automatic Program Repair. In Static Analysis Symposium (SAS'14)","author":"Samanta Roopsha","year":"2014","unstructured":"Roopsha Samanta, Oswaldo Olivo, and E Allen Emerson. 2014. Cost-Aware Automatic Program Repair. In Static Analysis Symposium (SAS'14). 268--284."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635875"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-015-0223-6"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173734"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1330017.1330019"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/646794.704850"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180250","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T12:20:56Z","timestamp":1775305256000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":60,"alternative-id":["10.1145\/3180155.3180250","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180250","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}