{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:50Z","timestamp":1750220510891,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1718903"],"award-info":[{"award-number":["CCF-1718903"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,22]]},"DOI":"10.1145\/3412841.3442055","type":"proceedings-article","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T05:09:16Z","timestamp":1619154556000},"page":"1823-1832","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing constraint-based repair of data structure errors that recur using memoization"],"prefix":"10.1145","author":[{"given":"Nima","family":"Dini","sequence":"first","affiliation":[{"name":"University of Texas at Austin"}]},{"given":"Razieh Nokhbeh","family":"Zaeem","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}]}],"member":"320","published-online":{"date-parts":[[2021,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"volume-title":"Conference on Object-oriented Programing, Systems, Languages, and Applications. 78--95","author":"Demsky Brian","key":"e_1_3_2_1_2_1","unstructured":"Brian Demsky and Martin C. Rinard. 2003. Automatic detection and repair of errors in data structures. In Conference on Object-oriented Programing, Systems, Languages, and Applications. 78--95."},{"volume-title":"International Conference on Software Engineering. 176--185","author":"Demsky Brian","key":"e_1_3_2_1_3_1","unstructured":"Brian Demsky and Martin C. Rinard. 2005. Data structure repair using goal-directed reasoning. In International Conference on Software Engineering. 176--185."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167339"},{"key":"e_1_3_2_1_5_1","volume-title":"Extension-Aware Automated Testing Based on Imperative Predicates. In International Conference on Software Testing, Validation and Verification. 25--36","author":"Dini Nima","year":"2019","unstructured":"Nima Dini, Cagdas Yelen, Milos Gligoric, and Sarfraz Khurshid. 2019. Extension-Aware Automated Testing Based on Imperative Predicates. In International Conference on Software Testing, Validation and Verification. 25--36."},{"key":"e_1_3_2_1_6_1","volume-title":"Optimizing Parallel Korat Using Invalid Ranges. In International Symposium on Model Checking Software. 182--191","author":"Dini Nima","year":"2017","unstructured":"Nima Dini, Cagdas Yelen, and Sarfraz Khurshid. 2017. Optimizing Parallel Korat Using Invalid Ranges. In International Symposium on Model Checking Software. 182--191."},{"key":"e_1_3_2_1_7_1","volume-title":"An Extensible SAT-solver. In International conference on theory and applications of satisfiability testing. 502--518","author":"Een Niklas","year":"2003","unstructured":"Niklas Een and Niklas Sorensson. 2003. An Extensible SAT-solver. In International conference on theory and applications of satisfiability testing. 502--518."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321643"},{"volume-title":"Conference on Object-Oriented Programming, Systems, Languages, and Applications. 387--404","author":"Elkarablieh Bassem","key":"e_1_3_2_1_9_1","unstructured":"Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, and Kathryn S. McKinley. 2007. Starc: static analysis for efficient repair of complex data. In Conference on Object-Oriented Programming, Systems, Languages, and Applications. 387--404."},{"key":"e_1_3_2_1_10_1","volume-title":"Efficient Solving of Structural Constraints. In International Symposium on Software Testing and Analysis. 39--50","author":"Elkarablieh Bassem","year":"2008","unstructured":"Bassem Elkarablieh, Darko Marinov, and Sarfraz Khurshid. 2008. Efficient Solving of Structural Constraints. In International Symposium on Software Testing and Analysis. 39--50."},{"key":"e_1_3_2_1_11_1","volume-title":"Model Counting for Complex Data Structures. In International Symposium on Model Checking Software. 222--241","author":"Filieri Antonio","year":"2015","unstructured":"Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, and Willem Visser. 2015. Model Counting for Complex Data Structures. In International Symposium on Model Checking Software. 222--241."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_13_1","first-page":"6","article-title":"1985. The 5ESS(TM) switching system: Maintenance capabilities","volume":"64","author":"Haugk George","year":"1985","unstructured":"George Haugk, Frederick M. Lax, Robert D. Royer, and John R. Williams. 1985. The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal 64, 6 (1985), 1385--1416.","journal-title":"AT&T Technical Journal"},{"key":"e_1_3_2_1_14_1","volume-title":"Dynamic Symbolic Data Structure Repair. In International Conference on Software Engineering. 215--218","author":"Hussain Ishtiaque","year":"2010","unstructured":"Ishtiaque Hussain and Christoph Csallner. 2010. Dynamic Symbolic Data Structure Repair. In International Conference on Software Engineering. 215--218."},{"key":"e_1_3_2_1_15_1","unstructured":"HyperSQL. 2020. HyperSQL Java database. http:\/\/hsqldb.org\/."},{"key":"e_1_3_2_1_16_1","unstructured":"Daniel Jackson. 2006. Software Abstractions - Logic Language and Analysis."},{"key":"e_1_3_2_1_17_1","volume-title":"Repairing Structurally Complex Data. In SPIN Workshop on Model Checking Software. 123--138","author":"Khurshid Sarfraz","year":"2005","unstructured":"Sarfraz Khurshid, Iv\u00e1n Garc\u00eda, and Yuk Lai Suen. 2005. Repairing Structurally Complex Data. In SPIN Workshop on Model Checking Software. 123--138."},{"key":"e_1_3_2_1_18_1","volume-title":"Generalized Symbolic Execution for Model Checking and Testing. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 553--568","author":"Khurshid Sarfraz","year":"2003","unstructured":"Sarfraz Khurshid, Corina S. Pasareanu, and Willem Visser. 2003. Generalized Symbolic Execution for Model Checking and Testing. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 553--568."},{"key":"e_1_3_2_1_19_1","unstructured":"Korat. 2020. Korat Webpage. http:\/\/korat.sourceforge.net."},{"key":"e_1_3_2_1_20_1","volume-title":"SMT Techniques for Fast Predicate Abstraction. In International Conference on Computer Aided Verification. 424--437","author":"Lahiri Shuvendu K.","year":"2006","unstructured":"Shuvendu K. Lahiri, Robert Nieuwenhuis, and Albert Oliveras. 2006. SMT Techniques for Fast Predicate Abstraction. In International Conference on Computer Aided Verification. 424--437."},{"volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"Liskov Barbara","key":"e_1_3_2_1_21_1","unstructured":"Barbara Liskov and John Guttag. 2001. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley."},{"key":"e_1_3_2_1_23_1","volume-title":"Korat: A Tool for Generating Structurally Complex Test Inputs. In International Conference on Software Engineering. 771--774","author":"Milicevic Aleksandar","year":"2007","unstructured":"Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, and Sarfraz Khurshid. 2007. Korat: A Tool for Generating Structurally Complex Test Inputs. In International Conference on Software Engineering. 771--774."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287645"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.232855"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428285"},{"key":"e_1_3_2_1_29_1","volume-title":"Falling Back on Executable Specifications. In European Conference on Object-Oriented Programming. 552--576","author":"Samimi Hesam","year":"2010","unstructured":"Hesam Samimi, Ei Darli Aung, and Todd Millstein. 2010. Falling Back on Executable Specifications. In European Conference on Object-Oriented Programming. 552--576."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_31_1","volume-title":"Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. In International Conference on Automated Software Engineering. 196--205","author":"Xie Tao","year":"2004","unstructured":"Tao Xie, Darko Marinov, and David Notkin. 2004. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. In International Conference on Automated Software Engineering. 196--205."},{"volume-title":"History-Aware Data Structure Repair Using SAT. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2--17","author":"Zaeem Razieh Nokhbeh","key":"e_1_3_2_1_32_1","unstructured":"Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, and Kathryn S. McKinley. 2012. History-Aware Data Structure Repair Using SAT. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2--17."},{"key":"e_1_3_2_1_33_1","volume-title":"Contract-Based Data Structure Repair Using Alloy. In European Conference on Object-Oriented Programming. 577--598","author":"Zaeem Razieh Nokhbeh","year":"2010","unstructured":"Razieh Nokhbeh Zaeem and Sarfraz Khurshid. 2010. Contract-Based Data Structure Repair Using Alloy. In European Conference on Object-Oriented Programming. 577--598."},{"key":"e_1_3_2_1_34_1","volume-title":"Repair Abstractions for More Efficient Data Structure Repair. In International Conference on Runtime Verification. 235--250","author":"Zaeem Razieh Nokhbeh","year":"2013","unstructured":"Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, and Sarfraz Khurshid. 2013. Repair Abstractions for More Efficient Data Structure Repair. In International Conference on Runtime Verification. 235--250."}],"event":{"name":"SAC '21: The 36th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event Republic of Korea","acronym":"SAC '21"},"container-title":["Proceedings of the 36th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442055","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3442055","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3442055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:25Z","timestamp":1750195465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":32,"alternative-id":["10.1145\/3412841.3442055","10.1145\/3412841"],"URL":"https:\/\/doi.org\/10.1145\/3412841.3442055","relation":{},"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"2021-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}