{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T21:52:12Z","timestamp":1769118732946,"version":"3.49.0"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1007\/s10703-021-00387-z","type":"journal-article","created":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T22:02:56Z","timestamp":1644357776000},"page":"399-439","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Debug-localize-repair: a symbiotic construction for heap manipulations"],"prefix":"10.1007","volume":"58","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7797-926X","authenticated-orcid":false,"given":"Sahil","family":"Verma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subhajit","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,8]]},"reference":[{"issue":"11","key":"387_CR1","doi-asserted-by":"publisher","first-page":"1780","DOI":"10.1016\/j.jss.2009.06.035","volume":"82","author":"R Abreu","year":"2009","unstructured":"Abreu R, Zoeteweij P, Golsteijn R, Van Gemund AJ (2009) A practical evaluation of spectrum-based fault localization. J Syst Softw 82(11):1780\u20131792","journal-title":"J Syst Softw"},{"key":"387_CR2","doi-asserted-by":"crossref","unstructured":"Ball T, Naik M, Rajamani SK (2003) From symptom to cause: localizing errors in counterexample traces. In: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL \u201903, New York, NY, USA. ACM","DOI":"10.1145\/604131.604140"},{"key":"387_CR3","doi-asserted-by":"crossref","unstructured":"Bavishi R, Pandey A, Roy S (2016) Regression aware debugging for mobile applications. In: Mobile! 2016: proceedings of the 1st international workshop on mobile development (invited paper), Mobile! 2016, New York, NY, USA., pp 21\u201322 Association for Computing Machinery","DOI":"10.1145\/3001854.3001860"},{"key":"387_CR4","doi-asserted-by":"crossref","unstructured":"Bavishi R, Pandey A, Roy S (2016) To be precise: regression aware debugging. In: Proceedings of the 2016 ACM SIGPLAN international conference on object-oriented programming, systems, languages, and applications, OOPSLA 2016, New York, NY, USA. ACM","DOI":"10.1145\/2983990.2984014"},{"key":"387_CR5","unstructured":"Bendersky E. Pycparser: C parser in Python. https:\/\/pypi.python.org\/pypi\/pycparser. Accessed 24 Jan 2017"},{"key":"387_CR6","doi-asserted-by":"crossref","unstructured":"Bhatia S, Kohli P, Singh R (2018) Neuro-symbolic program corrector for introductory programming assignments. In: Proceedings of the 40th international conference on software engineering, ICSE \u201918, New York, NY, USA. Association for Computing Machinery","DOI":"10.1145\/3180155.3180219"},{"key":"387_CR7","doi-asserted-by":"crossref","unstructured":"Chandra S, Torlak E, Barman S, Bodik R (2011) Angelic debugging. In: Proceedings of the 33rd international conference on software engineering, ICSE \u201911, New York, NY, USA. ACM","DOI":"10.1145\/1985793.1985811"},{"key":"387_CR8","doi-asserted-by":"crossref","unstructured":"Chatterjee P, Chatterjee A, Campos J, Abreu R, Roy S (2020) Diagnosing software faults using multiverse analysis. In: Bessiere C (ed) Proceedings of the twenty-ninth international joint conference on artificial intelligence, IJCAI-20, vol 7. International Joint Conferences on Artificial Intelligence Organization, pp 1629\u20131635. Main track","DOI":"10.24963\/ijcai.2020\/226"},{"key":"387_CR9","unstructured":"Chatterjee P, Roy S, Diep BP, Lal A (2020) Distributed bounded model checking. In: FMCAD, July 2020"},{"key":"387_CR10","unstructured":"Das R, Ahmed UZ, Karkare A, Gulwani S (2016) Prutor: a system for tutoring CS1 and collecting student programs for analysis. CoRR, arXiv:1608.03828"},{"key":"387_CR11","doi-asserted-by":"crossref","unstructured":"De Moura L, Bj\u00f8rner N (2008) Z3: an efficient SMT solver. In: Proceedings of the theory and practice of software, 14th international conference on tools and algorithms for the construction and analysis of systems, Berlin, Heidelberg. Springer-Verlag, pp 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"387_CR12","doi-asserted-by":"crossref","unstructured":"Demsky B, Rinard M (2003) Automatic detection and repair of errors in data structures. In: Proceedings of the 18th annual ACM SIGPLAN conference on object-oriented programing, systems, languages, and applications, OOPSLA \u201903, New York, NY, USA. ACM","DOI":"10.1145\/949305.949314"},{"key":"387_CR13","doi-asserted-by":"crossref","unstructured":"Elkarablieh B, Khurshid S (2008) Juzi: a tool for repairing complex data structures. In: Proceedings of the 30th international conference on software engineering, ICSE \u201908, New York, NY, USA. ACM","DOI":"10.1145\/1368088.1368222"},{"key":"387_CR14","doi-asserted-by":"crossref","unstructured":"Feser JK, Chaudhuri S, Dillig I (2015) Synthesizing data structure transformations from input\u2013output examples. In: Proceedings of the 36th ACM SIGPLAN conference on programming language design and implementation, PLDI \u201915, New York, NY, USA. ACM","DOI":"10.1145\/2737924.2737977"},{"key":"387_CR15","unstructured":"Geeks for Geeks. Data structures. http:\/\/www.geeksforgeeks.org\/data-structures\/. Accessed 24 Jan 2017"},{"key":"387_CR16","unstructured":"Free\u00a0Software Foundation. GDB Python API. https:\/\/sourceware.org\/gdb\/onlinedocs\/gdb\/Python-API.html. Accessed 25 Jan 2017"},{"key":"387_CR17","unstructured":"Free\u00a0Software Foundation. GDB: the GNU project debugger. https:\/\/sourceware.org\/gdb\/. Accessed 24 Jan 2017"},{"key":"387_CR18","volume-title":"Static analysis, SAS 2015. Proceedings","author":"A Garg","year":"2015","unstructured":"Garg A, Roy S (2015) Synthesizing heap manipulations via integer linear programming. In: Blazy S, Jensen T (eds) Static analysis, SAS 2015. Proceedings. Springer, Berlin"},{"key":"387_CR19","doi-asserted-by":"crossref","unstructured":"Godefroid P, Klarlund N, Sen K (2005) DART: directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN conference on programming language design and implementation, PLDI \u201905, New York, NY, USA. ACM","DOI":"10.1145\/1065010.1065036"},{"key":"387_CR20","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/978-3-030-53291-8_31","volume-title":"Computer aided verification (CAV)","author":"P Golia","year":"2020","unstructured":"Golia P, Roy S, Meel KS (2020) Manthan: a data-driven approach for Boolean function synthesis. In: Lahiri SK, Wang C (eds) Computer aided verification (CAV). Springer, Cham, pp 611\u2013633"},{"key":"387_CR21","doi-asserted-by":"crossref","unstructured":"Golia P, Roy S, Slivovsky F, Meel KS (2021) Engineering an efficient Boolean functional synthesis engine. In: ICCAD","DOI":"10.1109\/ICCAD51958.2021.9643583"},{"issue":"3","key":"387_CR22","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A Groce","year":"2006","unstructured":"Groce A, Chaki S, Kroening D, Strichman O (2006) Error explanation with distance metrics. Int J Softw Tools Technol Transf 8(3):229\u2013247","journal-title":"Int J Softw Tools Technol Transf"},{"key":"387_CR23","doi-asserted-by":"crossref","unstructured":"Grumberg O, Lerda F, Strichman O, Theobald M (2005) Proof-guided underapproximation-widening for multi-process systems. In: Proceedings of the 32Nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL \u201905, New York, NY, USA. ACM","DOI":"10.1145\/1040305.1040316"},{"key":"387_CR24","doi-asserted-by":"crossref","unstructured":"Gulwani S, Radi\u010dek I, Zuleger F (2018) Automated clustering and program repair for introductory programming assignments. In: Proceedings of the 39th ACM SIGPLAN conference on programming language design and implementation, PLDI 2018, New York, NY, USA. Association for Computing Machinery, pp 465\u2013480","DOI":"10.1145\/3192366.3192387"},{"key":"387_CR25","doi-asserted-by":"crossref","unstructured":"Guo PJ (2013) Online python tutor: embeddable web-based program visualization for CS education. In: Proceeding of the 44th ACM technical symposium on computer science education, SIGCSE \u201913, New York, NY, USA. ACM","DOI":"10.1145\/2445196.2445368"},{"key":"387_CR26","doi-asserted-by":"crossref","unstructured":"Gupta R, Pal S, Kanade A, Shevade S (2017) Deepfix: fixing common C language errors by deep learning. In: Proceedings of the Thirty-First AAAI conference on artificial intelligence, AAAI\u201917. AAAI Press, pp 1345\u20131351","DOI":"10.1609\/aaai.v31i1.10742"},{"issue":"10","key":"387_CR27","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):576\u2013580","journal-title":"Commun ACM"},{"key":"387_CR28","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-030-32304-2_17","volume-title":"Static analysis","author":"Q Hu","year":"2019","unstructured":"Hu Q, Samanta R, Singh R, D\u2019Antoni L (2019) Direct manipulation for imperative programs. In: Chang BY (ed) Static analysis. Springer, Cham, pp 347\u2013367"},{"key":"387_CR29","doi-asserted-by":"crossref","unstructured":"Hu Y, Ahmed UZ, Mechtaev S, Leong B, Roychoudhury A (2019) Re-factoring based program repair applied to programming assignments. In: ASE \u201919. IEEE Press, pp 388\u2013398","DOI":"10.1109\/ASE.2019.00044"},{"key":"387_CR30","unstructured":"igraph\u2014the network analysis package. http:\/\/igraph.org\/python\/. Accessed 24 Jan 2017"},{"key":"387_CR31","doi-asserted-by":"crossref","unstructured":"Jha S, Gulwani S, Seshia SA, Tiwari A (2010) Oracle-guided component-based program synthesis. In: Proceedings of the 32Nd ACM\/IEEE international conference on software engineering, ICSE \u201910, New York, NY, USA, vol 1. ACM","DOI":"10.1145\/1806799.1806833"},{"key":"387_CR32","doi-asserted-by":"crossref","unstructured":"Jones JA, Harrold MJ (2005) Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings of the 20th IEEE\/ACM international conference on automated software engineering, ASE \u201905, New York, NY, USA. ACM","DOI":"10.1145\/1101908.1101949"},{"key":"387_CR33","doi-asserted-by":"crossref","unstructured":"Jose M, Majumdar R (2011) Bug-assist: assisting fault localization in ANSI-C programs. In: Proceedings of the 23rd international conference on computer aided verification, CAV\u201911, Berlin, Heidelberg. Springer-Verlag","DOI":"10.1007\/978-3-642-22110-1_40"},{"key":"387_CR34","doi-asserted-by":"crossref","unstructured":"Jose M, Majumdar R (2011) Cause clue clauses: error localization using maximum satisfiability. In: Proceedings of the 32nd ACM SIGPLAN conference on programming language design and implementation, PLDI \u201911, New York, NY, USA. ACM","DOI":"10.1145\/1993498.1993550"},{"key":"387_CR35","doi-asserted-by":"crossref","unstructured":"Kneuss E, Koukoutos M, Kuncak V (2015) Deductive program repair. In: CAV","DOI":"10.1007\/978-3-319-21668-3_13"},{"key":"387_CR36","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Le Goues","year":"2012","unstructured":"Le Goues C, Nguyen T, Forrest S, Weimer W (2012) GenProg: a generic method for automatic software repair. IEEE Trans Softw Eng 38:54\u201372","journal-title":"IEEE Trans Softw Eng"},{"issue":"6","key":"387_CR37","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1145\/2813885.2738002","volume":"50","author":"A Leung","year":"2015","unstructured":"Leung A, Sarracino J, Lerner S (2015) Interactive parser synthesis by example. SIGPLAN Not 50(6):565\u2013574","journal-title":"SIGPLAN Not"},{"key":"387_CR38","doi-asserted-by":"crossref","unstructured":"Liblit B, Naik M, Zheng AX, Aiken A, Jordan MI (2005) Scalable statistical bug isolation. In: Proceedings of the 2005 ACM SIGPLAN conference on programming language design and implementation, PLDI \u201905, New York, NY, USA. ACM","DOI":"10.1145\/1065010.1065014"},{"key":"387_CR39","doi-asserted-by":"crossref","unstructured":"Liu C, Yan X, Fei L, Han J, Midkiff SP (2005) SOBER: statistical model-based bug localization. In: ESEC\/FSE-13, New York, NY, USA. ACM","DOI":"10.1145\/1081706.1081753"},{"key":"387_CR40","doi-asserted-by":"crossref","unstructured":"Liu Y, Li B (2010) Automated program debugging via multiple predicate switching. In: Proceedings of the twenty-fourth AAAI conference on artificial intelligence, AAAI\u201910. AAAI Press","DOI":"10.1609\/aaai.v24i1.7591"},{"key":"387_CR41","doi-asserted-by":"crossref","unstructured":"Loncaric C, Ernst MD, Torlak E (2018) Generalized data structure synthesis. In: Proceedings of the 40th international conference on software engineering, ICSE \u201918, New York, NY, USA. Association for Computing Machinery, pp 958\u2013968","DOI":"10.1145\/3180155.3180211"},{"key":"387_CR42","doi-asserted-by":"crossref","unstructured":"Long F, Rinard M (2016) Automatic patch generation by learning correct code. In: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL \u201916, New York, NY, USA. ACM","DOI":"10.1145\/2837614.2837617"},{"key":"387_CR43","doi-asserted-by":"crossref","unstructured":"Malik MZ, Siddiqui JH, Khurshid S (2011) Constraint-based program debugging using data structure repair. In: 2011 fourth IEEE international conference on software testing, verification and validation, March 2011","DOI":"10.1109\/ICST.2011.65"},{"key":"387_CR44","doi-asserted-by":"crossref","unstructured":"Malik MZ, Ghori K, Elkarablieh B, Khurshid S (2009) A case for automated debugging using data structure repair. In: Proceedings of the 2009 IEEE\/ACM international conference on automated software engineering, ASE \u201909, USA. IEEE Computer Society","DOI":"10.1109\/ASE.2009.92"},{"key":"387_CR45","doi-asserted-by":"crossref","unstructured":"Mechtaev S, Yi J, Roychoudhury A (2015) DirectFix: looking for simple program repairs. In: Proceedings of the 37th international conference on software engineering, ICSE \u201915, Piscataway, NJ, USA, vol 1, pp 448\u2013458","DOI":"10.1109\/ICSE.2015.63"},{"key":"387_CR46","doi-asserted-by":"crossref","unstructured":"Mechtaev S, Yi J, Roychoudhury A (2016) Angelix: scalable multiline program patch synthesis via symbolic analysis. In: Proceedings of the 38th international conference on software engineering, ICSE \u201916, New York, NY, USA. ACM","DOI":"10.1145\/2884781.2884807"},{"key":"387_CR47","doi-asserted-by":"crossref","unstructured":"Modi V, Roy S, Aggarwal SK (2013) Exploring program phases for statistical bug localization. In: Proceedings of the 11th ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, PASTE \u201913, New York, NY, USA. ACM","DOI":"10.1145\/2462029.2462034"},{"key":"387_CR48","doi-asserted-by":"crossref","unstructured":"Nguyen HD, Qi D, Roychoudhury A, Chandra S (2013) SemFix: program repair via semantic analysis. In: Proceedings of the 2013 international conference on software engineering, ICSE \u201913, Piscataway, NJ, USA. IEEE Press","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"387_CR49","doi-asserted-by":"crossref","unstructured":"Nguyen T-T, Ta Q-T, Chin W-N (2019) Automatic program repair using formal verification and expression templates. In: VMCAI","DOI":"10.1007\/978-3-030-11245-5_4"},{"key":"387_CR50","doi-asserted-by":"crossref","unstructured":"Nguyen T, Weimer W, Le Goues C, Forrest S (2009) Using execution paths to evolve software patches. In: International conference on software testing, verification and validation workshops, 2009. ICSTW\u201909. IEEE, pp 152\u2013153","DOI":"10.1109\/ICSTW.2009.35"},{"key":"387_CR51","doi-asserted-by":"crossref","unstructured":"Pandey A, Kotcharlakota PR, Roy S (2019) Deferred concretization in symbolic execution via fuzzing. In: Proceedings of the 28th ACM SIGSOFT international symposium on software testing and analysis, ISSTA 2019, New York, NY, USA. Association for Computing Machinery, pp 228\u2013238","DOI":"10.1145\/3293882.3330554"},{"key":"387_CR52","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-662-54494-5_3","volume-title":"Fundamental approaches to software engineering","author":"V-T Pham","year":"2017","unstructured":"Pham V-T, Khurana S, Roy S, Roychoudhury A (2017) Bucketing failing tests via symbolic analysis. In: Huisman M, Rubin J (eds) Fundamental approaches to software engineering. Springer, Berlin, pp 43\u201359"},{"key":"387_CR53","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3290385","volume":"3","author":"N Polikarpova","year":"2019","unstructured":"Polikarpova N, Sergey I (2019) Structuring the synthesis of heap-manipulating programs. Proc ACM Program Lang 3:1\u201330","journal-title":"Proc ACM Program Lang"},{"key":"387_CR54","doi-asserted-by":"crossref","unstructured":"Pu Y, Narasimhan K, Solar-Lezama A, Barzilay R (2016) Sk_p: a neural program corrector for moocs. In: Companion proceedings of the 2016 ACM SIGPLAN international conference on systems, programming, languages and applications: software for humanity, SPLASH Companion 2016, page 39-40, New York, NY, USA. Association for Computing Machinery","DOI":"10.1145\/2984043.2989222"},{"key":"387_CR55","doi-asserted-by":"crossref","unstructured":"Rolim R, Soares G, D\u2019Antoni L, Polozov O, Gulwani S, Gheyi R, Suzuki R, Hartmann B (2017) Learning syntactic program transformations from examples. In: Proceedings of the 39th international conference on software engineering, ICSE \u201917. IEEE Press","DOI":"10.1109\/ICSE.2017.44"},{"key":"387_CR56","doi-asserted-by":"crossref","unstructured":"Roy S, Hsu J, Albarghouthi A (2021) Learning differentially private mechanisms. In: 2021 IEEE symposium on security and privacy (SP), Los Alamitos, CA, USA, May 2021. IEEE Computer Society, pp 852\u2013865","DOI":"10.1109\/SP40001.2021.00060"},{"key":"387_CR57","unstructured":"Roy S (2013) From concrete examples to heap manipulating programs. In: Logozzo F, F\u00e4hndrich M (eds) Static analysis: 20th international symposium, SAS 2013, Seattle, WA, USA, 20\u201322 June 2013. Proceedings. Springer, Berlin"},{"key":"387_CR58","doi-asserted-by":"crossref","unstructured":"Roy S, Pandey A, Dolan-Gavitt B, Hu Y (2018) Bug synthesis: challenging bug-finding tools with deep faults. In: Proceedings of the 2018 26th ACM joint meeting on European software engineering conference and symposium on the foundations of software engineering, ESEC\/FSE 2018, New York, NY, USA. Association for Computing Machinery, pp 224\u2013234","DOI":"10.1145\/3236024.3236084"},{"key":"387_CR59","doi-asserted-by":"crossref","unstructured":"Sen K, Marinov D, Agha G (2005) CUTE: a concolic unit testing engine for C. In: ESEC\/FSE-13, New York, NY, USA. ACM","DOI":"10.21236\/ADA482657"},{"key":"387_CR60","unstructured":"Singal D, Agarwal P, Jhunjhunwala S, Roy S (2018) Parse condition: symbolic encoding of ll(1) parsing. In: Barthe G, Sutcliffe G, Veanes M (eds) LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning. EPiC series in computing, vol 57. EasyChair, pp 637\u2013655"},{"key":"387_CR61","doi-asserted-by":"crossref","unstructured":"Singh R, Gulwani S, Solar-Lezama A (2013) Automated feedback generation for introductory programming assignments. In: Proceedings of the 34th ACM SIGPLAN conference on programming language design and implementation, PLDI \u201913, New York, NY, USA. Association for Computing Machinery","DOI":"10.1145\/2491956.2462195"},{"key":"387_CR62","doi-asserted-by":"crossref","unstructured":"Singh R, Solar-Lezama A (2011) Synthesizing data structure manipulations from storyboards. In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on foundations of software engineering, ESEC\/FSE \u201911, New York, NY, USA. ACM","DOI":"10.1145\/2025113.2025153"},{"key":"387_CR63","doi-asserted-by":"crossref","unstructured":"Tan SH, Yoshida H, Prasad MR, Roychoudhury A (2016) Anti-patterns in search-based program repair. In: Proceedings of the 2016 24th ACM SIGSOFT international symposium on foundations of software engineering, FSE 2016, New York, NY, USA. Association for Computing Machinery, pp 727\u2013738","DOI":"10.1145\/2950290.2950295"},{"key":"387_CR64","doi-asserted-by":"crossref","unstructured":"Verma A, Kalita PK, Pandey A, Roy S (2020) Interactive debugging of concurrent programs under relaxed memory models. In: Proceedings of the 18th ACM\/IEEE international symposium on code generation and optimization, CGO 2020, New York, NY, USA. Association for Computing Machinery, pp 68\u201380","DOI":"10.1145\/3368826.3377910"},{"key":"387_CR65","doi-asserted-by":"crossref","unstructured":"Verma S, Roy S (2017) Synergistic debug-repair of heap manipulations. In: Proceedings of the 2017 11th joint meeting on foundations of software engineering, ESEC\/FSE 2017, New York, NY, USA. ACM","DOI":"10.1145\/3106237.3106263"},{"key":"387_CR66","unstructured":"Wang K, Singh R, Su Z (2017) Dynamic neural program embedding for program repair. arXiv,\u00a0 arXiv:1711.07163"},{"key":"387_CR67","doi-asserted-by":"crossref","unstructured":"Wang K, Singh R, Su Z (2018) Search, align, and repair: data-driven feedback generation for introductory programming exercises. In: Proceedings of the 39th ACM SIGPLAN conference on programming language design and implementation, PLDI 2018,, New York, NY, USA. Association for Computing Machinery pp 481\u2013495","DOI":"10.1145\/3192366.3192384"},{"key":"387_CR68","doi-asserted-by":"crossref","unstructured":"Weimer W (2006) Patches as better bug reports. In: Proceedings of the 5th international conference on generative programming and component engineering, GPCE \u201906, New York, NY, USA. ACM","DOI":"10.1145\/1173706.1173734"},{"key":"387_CR69","doi-asserted-by":"crossref","unstructured":"Weimer W, Nguyen T, Le Goues C, Forrest S (2009) Automatically finding patches using genetic programming. In: Proceedings of the 31st international conference on software engineering, ICSE \u201909, Washington, DC, USA. IEEE Computer Society","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"387_CR70","doi-asserted-by":"crossref","unstructured":"Zeller A (2002) Isolating cause-effect chains from computer programs. In: Proceedings of the 10th ACM SIGSOFT symposium on foundations of software engineering, SIGSOFT \u201902\/FSE-10, New York, NY, USA. ACM","DOI":"10.1145\/587051.587053"},{"issue":"2","key":"387_CR71","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A Zeller","year":"2002","unstructured":"Zeller A, Hildebrandt R (2002) Simplifying and isolating failure-inducing input. IEEE Trans Softw Eng 28(2):183\u2013200","journal-title":"IEEE Trans Softw Eng"},{"key":"387_CR72","volume-title":"Revised lectures on software visualization, international seminar","author":"T Zimmermann","year":"2002","unstructured":"Zimmermann T, Zeller A (2002) Visualizing memory graphs. In: Diehl S (ed) Revised lectures on software visualization, international seminar. Springer-Verlag, London"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-021-00387-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10703-021-00387-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-021-00387-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,26]],"date-time":"2023-01-26T08:57:07Z","timestamp":1674723427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10703-021-00387-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":72,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["387"],"URL":"https:\/\/doi.org\/10.1007\/s10703-021-00387-z","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11]]},"assertion":[{"value":"17 April 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 February 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The second author has visits and collaborations with NUS Singapore, UW-Madison, Microsoft, University of Lisbon and NYU.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}},{"value":"To be made available post-publication.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}}]}}