{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:01:05Z","timestamp":1760043665024,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2020-06394"],"award-info":[{"award-number":["RGPIN-2020-06394"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598065","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"398-410","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Type Batched Program Reduction"],"prefix":"10.1145","author":[{"given":"Golnaz","family":"Gharachorlu","sequence":"first","affiliation":[{"name":"Simon Fraser University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Sumner","sequence":"additional","affiliation":[{"name":"Simon Fraser University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7978328"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290353"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1739041.1739088"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2019.00046"},{"key":"e_1_3_2_1_5_1","unstructured":"JS Delta. 2014. A delta debugger for JavaScript. https:\/\/github.com\/wala\/jsdelta \t\t\t\t  JS Delta. 2014. A delta debugger for JavaScript. https:\/\/github.com\/wala\/jsdelta"},{"key":"e_1_3_2_1_6_1","unstructured":"GCC Documentation. 2022. How to Minimize Test Cases for Bugs. https:\/\/gcc.gnu.org\/bugs\/minimize.html \t\t\t\t  GCC Documentation. 2022. How to Minimize Test Cases for Bugs. https:\/\/gcc.gnu.org\/bugs\/minimize.html"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454092"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2018.00056"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16722-6_24"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR52588.2021.00035"},{"volume-title":"Trending: See what the GitHub community is most excited about today. https:\/\/github.com\/trending","year":"2022","key":"e_1_3_2_1_11_1","unstructured":"Github. 2022 . Trending: See what the GitHub community is most excited about today. https:\/\/github.com\/trending Github. 2022. Trending: See what the GitHub community is most excited about today. https:\/\/github.com\/trending"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575342"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"volume-title":"Regression Modeling Strategies","author":"Harrell Jr","key":"e_1_3_2_1_14_1","unstructured":"Jr Harrell , Frank E.. 2015. Regression Modeling Strategies . Springer International Publishing AG. Jr Harrell, Frank E.. 2015. Regression Modeling Strategies. Springer International Publishing AG."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115697"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016","author":"Ren\u00e1ta","year":"2016","unstructured":"Ren\u00e1ta Hodov\u00e1n and \u00c1kos Kiss. 2016. Modernizing hierarchical delta debugging . In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016 , Seattle, WA, USA , November 18, 2016 , Tanja E. J. Vos, Sigrid Eldh, and Wishnu Prasetya (Eds.). ACM, 31\u201337. http:\/\/dl.acm.org\/citation.cfm?id=2994296 Ren\u00e1ta Hodov\u00e1n and \u00c1kos Kiss. 2016. Modernizing hierarchical delta debugging. In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016, Tanja E. J. Vos, Sigrid Eldh, and Wishnu Prasetya (Eds.). ACM, 31\u201337. http:\/\/dl.acm.org\/citation.cfm?id=2994296"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005988602410248"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2017.26"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2017.4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338956"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454091"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3043027"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278186.3278189"},{"volume-title":"Elm-Reduce: Delta Debugging Functional Programs. Computer Science","author":"Kr\u00fcger Philipp","key":"e_1_3_2_1_25_1","unstructured":"Philipp Kr\u00fcger . 2019. Elm-Reduce: Delta Debugging Functional Programs. Computer Science , Karlsruhe Institute of Technology . Philipp Kr\u00fcger. 2019. Elm-Reduce: Delta Debugging Functional Programs. Computer Science, Karlsruhe Institute of Technology."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Marek Kuczma. 2009. An Introduction to the Theory of Functional Equations and Inequalities. Birkh\u1e0dot auser Verlag AG. \t\t\t\t  Marek Kuczma. 2009. An Introduction to the Theory of Functional Equations and Inequalities. Birkh\u1e0dot auser Verlag AG.","DOI":"10.1007\/978-3-7643-8749-5"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321698"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"volume-title":"Hierarchical Delta Debugging. Master\u2019s thesis. Computer Science","author":"Misherghi Ghassan Shakib","key":"e_1_3_2_1_29_1","unstructured":"Ghassan Shakib Misherghi . 2007. Hierarchical Delta Debugging. Master\u2019s thesis. Computer Science , University of California , Davis. Ghassan Shakib Misherghi. 2007. Hierarchical Delta Debugging. Master\u2019s thesis. Computer Science, University of California, Davis."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988842.1988843"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9104-9"},{"key":"e_1_3_2_1_32_1","unstructured":"Terence Parr. 2013. The Definitive ANTLR 4 Reference. Pragmatic Bookshelf. \t\t\t\t  Terence Parr. 2013. The Definitive ANTLR 4 Reference. Pragmatic Bookshelf."},{"key":"e_1_3_2_1_33_1","unstructured":"Perses. 2020. Language-agnostic program reducer. https:\/\/github.com\/uw-pluverse\/perses \t\t\t\t  Perses. 2020. Language-agnostic program reducer. https:\/\/github.com\/uw-pluverse\/perses"},{"key":"e_1_3_2_1_34_1","volume-title":"RAZOR: A Framework for Post-deployment Software Debloating. In 28th USENIX Security Symposium (USENIX Security 19)","author":"Qian Chenxiong","year":"2019","unstructured":"Chenxiong Qian , Hong Hu , Mansour Alharthi , Pak Ho Chung , Taesoo Kim , and Wenke Lee . 2019 . RAZOR: A Framework for Post-deployment Software Debloating. In 28th USENIX Security Symposium (USENIX Security 19) . USENIX Association, Santa Clara, CA. 1733\u20131750. isbn:978-1-939133-06-9 https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/qian Chenxiong Qian, Hong Hu, Mansour Alharthi, Pak Ho Chung, Taesoo Kim, and Wenke Lee. 2019. RAZOR: A Framework for Post-deployment Software Debloating. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association, Santa Clara, CA. 1733\u20131750. isbn:978-1-939133-06-9 https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/qian"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468539"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520312.3534869"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238160"},{"volume-title":"Handbook of Parametric and Nonparametric Statistical Procedures","author":"Sheskin David J.","key":"e_1_3_2_1_39_1","unstructured":"David J. Sheskin . 2011. Handbook of Parametric and Nonparametric Statistical Procedures . Chapman and Hall\/CRC. David J. Sheskin. 2011. Handbook of Parametric and Nonparametric Statistical Procedures. Chapman and Hall\/CRC."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09931-7"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00038"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_1_43_1","volume-title":"Barto","author":"Sutton Richard S.","year":"2015","unstructured":"Richard S. Sutton and Andrew G . Barto . 2015 . Reinforcement Learning : An Introduction. The MIT Press . Richard S. Sutton and Andrew G. Barto. 2015. Reinforcement Learning: An Introduction. The MIT Press."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/AST52587.2021.00015"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468625"},{"key":"e_1_3_2_1_46_1","volume-title":"Program Slicing. In Proceedings of the 5th International Conference on Software Engineering","author":"Weiser Mark","year":"1981","unstructured":"Mark Weiser . 1981 . Program Slicing. In Proceedings of the 5th International Conference on Software Engineering , San Diego, California, USA , March 9-12, 1981, Seymour Jeffrey and Leon G. Stucki (Eds.). IEEE Computer Society, 439\u2013449. http:\/\/dl.acm.org\/citation.cfm?id=802557 Mark Weiser. 1981. Program Slicing. In Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9-12, 1981, Seymour Jeffrey and Leon G. Stucki (Eds.). IEEE Computer Society, 439\u2013449. http:\/\/dl.acm.org\/citation.cfm?id=802557"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3487568"},{"volume-title":"Transfer Learning","author":"Yang Qiang","key":"e_1_3_2_1_48_1","unstructured":"Qiang Yang , Yu Zhang , Wenyuan Dai , and Sinno Jialin Pan . 2020. Transfer Learning . Cambridge University Press . Qiang Yang, Yu Zhang, Wenyuan Dai, and Sinno Jialin Pan. 2020. Transfer Learning. Cambridge University Press."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Seattle WA USA","acronym":"ISSTA '23"},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598065","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":50,"alternative-id":["10.1145\/3597926.3598065","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598065","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}