{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:35:51Z","timestamp":1791459351100,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":90,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598149","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1458-1470","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Extracting Inline Tests from Unit Tests"],"prefix":"10.1145","author":[{"given":"Yu","family":"Liu","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pengyu","family":"Nie","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anna","family":"Guo","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Milos","family":"Gligoric","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Owolabi","family":"Legunsen","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"M Moein Almasi Hadi Hemmati Gordon Fraser Andrea Arcuri and Janis Benefelds. 2017. An industrial evaluation of unit test generation: Finding real faults in a financial application. In ICSE-SEIP. 263\u2013272. M Moein Almasi Hadi Hemmati Gordon Fraser Andrea Arcuri and Janis Benefelds. 2017. An industrial evaluation of unit test generation: Finding real faults in a financial application. In ICSE-SEIP. 263\u2013272.","DOI":"10.1109\/ICSE-SEIP.2017.27"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Andrea Arcuri and Gordon Fraser. 2016. Java Enterprise Edition support in search-based JUnit test generation. In SSBSE. 3\u201317. Andrea Arcuri and Gordon Fraser. 2016. Java Enterprise Edition support in search-based JUnit test generation. In SSBSE. 3\u201317.","DOI":"10.1007\/978-3-319-47106-8_1"},{"key":"e_1_3_2_1_3_1","unstructured":"Jon Bell Owolabi Legunsen Michael Hilton Lamyaa Eloussi Tifany Yung and Darko Marinov. 2018. DeFlaker: Automatically detecting flaky tests. In ICSE. 433\u2013444. Jon Bell Owolabi Legunsen Michael Hilton Lamyaa Eloussi Tifany Yung and Darko Marinov. 2018. DeFlaker: Automatically detecting flaky tests. In ICSE. 433\u2013444."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Arianna Blasi Alberto Goffi Konstantin Kuznetsov Alessandra Gorla Michael D. Ernst Mauro Pezz\u00e8 and Sergio Delgado Castellanos. 2018. Translating code comments to procedure specifications. In ISSTA. 242\u2013253. Arianna Blasi Alberto Goffi Konstantin Kuznetsov Alessandra Gorla Michael D. Ernst Mauro Pezz\u00e8 and Sergio Delgado Castellanos. 2018. Translating code comments to procedure specifications. In ISSTA. 242\u2013253.","DOI":"10.1145\/3213846.3213872"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Marat Boshernitsan Roongko Doong and Alberto Savoia. 2006. From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing. In ISSTA. 169\u2013180. Marat Boshernitsan Roongko Doong and Alberto Savoia. 2006. From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing. In ISSTA. 169\u2013180.","DOI":"10.1145\/1146238.1146258"},{"key":"e_1_3_2_1_6_1","volume-title":"ASM: A code manipulation tool to implement adaptable systems. Adaptable and Extensible Component Systems, 30, 19","author":"Bruneton Eric","year":"2002","unstructured":"Eric Bruneton , Romain Lenglet , and Thierry Coupaye . 2002 . ASM: A code manipulation tool to implement adaptable systems. Adaptable and Extensible Component Systems, 30, 19 (2002). Eric Bruneton, Romain Lenglet, and Thierry Coupaye. 2002. ASM: A code manipulation tool to implement adaptable systems. Adaptable and Extensible Component Systems, 30, 19 (2002)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Xia Cai and Michael R Lyu. 2005. The effect of code coverage on fault detection under different testing profiles. In A-MOST. 1\u20137. Xia Cai and Michael R Lyu. 2005. The effect of code coverage on fault detection under different testing profiles. In A-MOST. 1\u20137.","DOI":"10.1145\/1082983.1083288"},{"key":"e_1_3_2_1_8_1","volume-title":"OOPSLA","author":"Celik Ahmet","year":"2017","unstructured":"Ahmet Celik , Sreepathi Pai , Sarfraz Khurshid , and Milos Gligoric . 2017. Bounded exhaustive test-input generation on GPUs. PACMPL, 1 , OOPSLA ( 2017 ), 1\u201325. Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric. 2017. Bounded exhaustive test-input generation on GPUs. PACMPL, 1, OOPSLA (2017), 1\u201325."},{"key":"e_1_3_2_1_9_1","volume-title":"Heuristics towards the optimization of the size of a test suite. WIT Transactions on Information and Communication Technologies, 14","author":"Chen Tsong Yueh","year":"1970","unstructured":"Tsong Yueh Chen and Man Fai Lau . 1970. Heuristics towards the optimization of the size of a test suite. WIT Transactions on Information and Communication Technologies, 14 ( 1970 ). Tsong Yueh Chen and Man Fai Lau. 1970. Heuristics towards the optimization of the size of a test suite. WIT Transactions on Information and Communication Technologies, 14 (1970)."},{"key":"e_1_3_2_1_10_1","first-page":"777","article-title":"A simulation study on some heuristics for test suite reduction","volume":"40","author":"Chen Tsong Yueh","year":"1998","unstructured":"Tsong Yueh Chen and Man Fai Lau . 1998 . A simulation study on some heuristics for test suite reduction . IST , 40 , 13 (1998), 777 \u2013 787 . Tsong Yueh Chen and Man Fai Lau. 1998. A simulation study on some heuristics for test suite reduction. IST, 40, 13 (1998), 777\u2013787.","journal-title":"IST"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Yiqun T Chen Rahul Gopinath Anita Tadakamalla Michael D Ernst Reid Holmes Gordon Fraser Paul Ammann and Ren\u00e9 Just. 2020. Revisiting the relationship between fault detection test adequacy criteria and test set size. In ASE. 237\u2013249. Yiqun T Chen Rahul Gopinath Anita Tadakamalla Michael D Ernst Reid Holmes Gordon Fraser Paul Ammann and Ren\u00e9 Just. 2020. Revisiting the relationship between fault detection test adequacy criteria and test set size. In ASE. 237\u2013249.","DOI":"10.1145\/3324884.3416667"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Christoph Csallner Nikolai Tillmann and Yannis Smaragdakis. 2008. DySy: Dynamic symbolic execution for invariant inference. In ICSE. 281\u2013290. Christoph Csallner Nikolai Tillmann and Yannis Smaragdakis. 2008. DySy: Dynamic symbolic execution for invariant inference. In ICSE. 281\u2013290.","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_1_13_1","volume-title":"TOGA: A neural method for test oracle generation. In ICSE. 2130\u20132141.","author":"Dinella Elizabeth","year":"2022","unstructured":"Elizabeth Dinella , Gabriel Ryan , Todd Mytkowicz , and Shuvendu K Lahiri . 2022 . TOGA: A neural method for test oracle generation. In ICSE. 2130\u20132141. Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, and Shuvendu K Lahiri. 2022. TOGA: A neural method for test oracle generation. In ICSE. 2130\u20132141."},{"key":"e_1_3_2_1_14_1","volume-title":"Matthew B Dwyer, and Jonathan Dokulil.","author":"Elbaum Sebastian","year":"2006","unstructured":"Sebastian Elbaum , Hui Nee Chin , Matthew B Dwyer, and Jonathan Dokulil. 2006 . Carving differential unit test cases from system test cases. In FSE. 253\u2013264. Sebastian Elbaum, Hui Nee Chin, Matthew B Dwyer, and Jonathan Dokulil. 2006. Carving differential unit test cases from system test cases. In FSE. 253\u2013264."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_16_1","volume-title":"Evosuite: Automatic test suite generation for object-oriented software. In FSE. 416\u2013419.","author":"Fraser Gordon","year":"2011","unstructured":"Gordon Fraser and Andrea Arcuri . 2011 . Evosuite: Automatic test suite generation for object-oriented software. In FSE. 416\u2013419. Gordon Fraser and Andrea Arcuri. 2011. Evosuite: Automatic test suite generation for object-oriented software. In FSE. 416\u2013419."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_18_1","volume-title":"JST: An automatic test generation tool for industrial Java applications with strings. ICSE, 992\u20131001.","author":"Ghosh Indradeep","year":"2013","unstructured":"Indradeep Ghosh , Nastaran Shafiei , Guodong Li , and Wei-Fan Chiang . 2013 . JST: An automatic test generation tool for industrial Java applications with strings. ICSE, 992\u20131001. Indradeep Ghosh, Nastaran Shafiei, Guodong Li, and Wei-Fan Chiang. 2013. JST: An automatic test generation tool for industrial Java applications with strings. ICSE, 992\u20131001."},{"key":"e_1_3_2_1_19_1","volume-title":"Ekstazi: Lightweight test selection. In ICSE-Demo. 713\u2013716.","author":"Gligoric Milos","year":"2015","unstructured":"Milos Gligoric , Lamyaa Eloussi , and Darko Marinov . 2015 . Ekstazi: Lightweight test selection. In ICSE-Demo. 713\u2013716. Milos Gligoric, Lamyaa Eloussi, and Darko Marinov. 2015. Ekstazi: Lightweight test selection. In ICSE-Demo. 713\u2013716."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Milos Gligoric Lamyaa Eloussi and Darko Marinov. 2015. Practical regression test selection with dynamic file dependencies. In ISSTA. 211\u2013222. Milos Gligoric Lamyaa Eloussi and Darko Marinov. 2015. Practical regression test selection with dynamic file dependencies. In ISSTA. 211\u2013222.","DOI":"10.1145\/2771783.2771784"},{"key":"e_1_3_2_1_21_1","volume-title":"Mohammad Amin Alipour, and Darko Marinov","author":"Gligoric Milos","year":"2013","unstructured":"Milos Gligoric , Alex Groce , Chaoqiang Zhang , Rohan Sharma , Mohammad Amin Alipour, and Darko Marinov . 2013 . Comparing non-adequate test suites using coverage criteria. In ISSTA. 302\u2013313. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov. 2013. Comparing non-adequate test suites using coverage criteria. In ISSTA. 302\u2013313."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Milos Gligoric Tihomir Gvero Vilas Jagannath Sarfraz Khurshid Viktor Kuncak and Darko Marinov. 2010. Test generation through programming in UDITA. In ICSE. 225\u2013234. Milos Gligoric Tihomir Gvero Vilas Jagannath Sarfraz Khurshid Viktor Kuncak and Darko Marinov. 2010. Test generation through programming in UDITA. In ICSE. 225\u2013234.","DOI":"10.1145\/1806799.1806835"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Milos Gligoric Stas Negara Owolabi Legunsen and Darko Marinov. 2014. An empirical evaluation and comparison of manual and automated test selection. In ASE. 361\u2013372. Milos Gligoric Stas Negara Owolabi Legunsen and Darko Marinov. 2014. An empirical evaluation and comparison of manual and automated test selection. In ASE. 361\u2013372.","DOI":"10.1145\/2642937.2643019"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Alberto Goffi Alessandra Gorla Michael D. Ernst and Mauro Pezz\u00e8. 2016. Automatic generation of oracles for exceptional behaviors. In ISSTA. 213\u2013224. Alberto Goffi Alessandra Gorla Michael D. Ernst and Mauro Pezz\u00e8. 2016. Automatic generation of oracles for exceptional behaviors. In ISSTA. 213\u2013224.","DOI":"10.1145\/2931037.2931061"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Alex Groce Josie Holmes Darko Marinov August Shi and Lingming Zhang. 2018. An extensible regular-expression-based tool for multi-language mutant generation. In ICSE-Demo. 25\u201328. Alex Groce Josie Holmes Darko Marinov August Shi and Lingming Zhang. 2018. An extensible regular-expression-based tool for multi-language mutant generation. In ICSE-Demo. 25\u201328.","DOI":"10.1145\/3183440.3183485"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Alex Gyori Ben Lambeth August Shi Owolabi Legunsen and Darko Marinov. 2016. NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications. In ICST. 993\u2013997. Alex Gyori Ben Lambeth August Shi Owolabi Legunsen and Darko Marinov. 2016. NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications. In ICST. 993\u2013997.","DOI":"10.1145\/2950290.2983932"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Alex Gyori Owolabi Legunsen Farah Hariri and Darko Marinov. 2018. Evaluating regression test selection opportunities in a very large open-source ecosystem. In ISSRE. 112\u2013122. Alex Gyori Owolabi Legunsen Farah Hariri and Darko Marinov. 2018. Evaluating regression test selection opportunities in a very large open-source ecosystem. In ISSRE. 112\u2013122.","DOI":"10.1109\/ISSRE.2018.00022"},{"key":"e_1_3_2_1_28_1","volume-title":"Ly Ly Tran Thi, and Jun Sun","author":"Pham Long H.","year":"2017","unstructured":"Long H. Pham , Ly Ly Tran Thi, and Jun Sun . 2017 . Assertion generation through active learning. In ICFEM. 174\u2013191. Long H. Pham, Ly Ly Tran Thi, and Jun Sun. 2017. Assertion generation through active learning. In ICFEM. 174\u2013191."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Farah Hariri August Shi Owolabi Legunsen Milos Gligoric Sarfraz Khurshid and Sasa Misailovic. 2018. Approximate transformations as mutation operators. In ICST. 285\u2013296. Farah Hariri August Shi Owolabi Legunsen Milos Gligoric Sarfraz Khurshid and Sasa Misailovic. 2018. Approximate transformations as mutation operators. In ICST. 285\u2013296.","DOI":"10.1109\/ICST.2018.00036"},{"key":"e_1_3_2_1_30_1","first-page":"17","article-title":"A greedy approach for coverage-based test suite reduction","volume":"12","author":"Harris Preethi","year":"2015","unstructured":"Preethi Harris and Raju Nedunchezhian . 2015 . A greedy approach for coverage-based test suite reduction . IAJIT , 12 (2015), 17 \u2013 23 . Preethi Harris and Raju Nedunchezhian. 2015. A greedy approach for coverage-based test suite reduction. IAJIT, 12 (2015), 17\u201323.","journal-title":"IAJIT"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/152388.152391","article-title":"A methodology for controlling the size of a test suite","volume":"2","author":"Harrold M Jean","year":"1993","unstructured":"M Jean Harrold , Rajiv Gupta , and Mary Lou Soffa . 1993 . A methodology for controlling the size of a test suite . TOSEM , 2 , 3 (1993), 270 \u2013 285 . M Jean Harrold, Rajiv Gupta, and Mary Lou Soffa. 1993. A methodology for controlling the size of a test suite. TOSEM, 2, 3 (1993), 270\u2013285.","journal-title":"TOSEM"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Joshua Hartmann and Dave J Robson. 1989. Revalidation during the software maintenance phase. In ICSM. 70\u201380. Joshua Hartmann and Dave J Robson. 1989. Revalidation during the software maintenance phase. In ICSM. 70\u201380.","DOI":"10.1109\/ICSM.1989.65195"},{"key":"e_1_3_2_1_33_1","unstructured":"2023. pytest-inline GitHub Page. https:\/\/github.com\/pytest-dev\/pytest-inline 2023. pytest-inline GitHub Page. https:\/\/github.com\/pytest-dev\/pytest-inline"},{"key":"e_1_3_2_1_34_1","unstructured":"2023. pytest-inline on PyPi. https:\/\/pypi.org\/project\/pytest-inline 2023. pytest-inline on PyPi. https:\/\/pypi.org\/project\/pytest-inline"},{"key":"e_1_3_2_1_35_1","unstructured":"JavaParser Team. 2023. JavaParser. https:\/\/github.com\/javaparser\/javaparser JavaParser Team. 2023. JavaParser. https:\/\/github.com\/javaparser\/javaparser"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.18"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Ren\u00e9 Just. 2014. The Major mutation framework: Efficient and scalable mutation analysis for Java. In ISSTA-Demo. 433\u2013436. Ren\u00e9 Just. 2014. The Major mutation framework: Efficient and scalable mutation analysis for Java. In ISSTA-Demo. 433\u2013436.","DOI":"10.1145\/2610384.2628053"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Arthur V Kamienski Luisa Palechor Cor-Paul Bezemer and Abram Hindle. 2021. PySStuBs: Characterizing single-statement bugs in popular open-source Python projects. In MSR. 520\u2013524. Arthur V Kamienski Luisa Palechor Cor-Paul Bezemer and Abram Hindle. 2021. PySStuBs: Characterizing single-statement bugs in popular open-source Python projects. In MSR. 520\u2013524.","DOI":"10.1109\/MSR52588.2021.00066"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Rafael-Michael Karampatsis and Charles Sutton. 2020. How often do single-statement bugs occur? The ManySStuBs4J dataset. In MSR. 573\u2013577. Rafael-Michael Karampatsis and Charles Sutton. 2020. How often do single-statement bugs occur? The ManySStuBs4J dataset. In MSR. 573\u2013577.","DOI":"10.1145\/3379597.3387491"},{"key":"e_1_3_2_1_40_1","volume-title":"Reza Meimandi Parizi, and Manzoor Elahi.","author":"Rehman Khan Saif Ur","year":"2014","unstructured":"Saif Ur Rehman Khan , Sai Peck Lee , Reza Meimandi Parizi, and Manzoor Elahi. 2014 . A code coverage-based test suite reduction and prioritization framework. WICT , 229\u2013234. Saif Ur Rehman Khan, Sai Peck Lee, Reza Meimandi Parizi, and Manzoor Elahi. 2014. A code coverage-based test suite reduction and prioritization framework. WICT, 229\u2013234."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Wing Lam Reed Oei August Shi Darko Marinov and Tao Xie. 2019. iDFlakies: A framework for detecting and partially classifying flaky tests. ICST 312\u2013322. Wing Lam Reed Oei August Shi Darko Marinov and Tao Xie. 2019. iDFlakies: A framework for detecting and partially classifying flaky tests. ICST 312\u2013322.","DOI":"10.1109\/ICST.2019.00038"},{"key":"e_1_3_2_1_42_1","volume-title":"Diego Elias Costa, and Emad Shihab","author":"Latendresse Jasmine","year":"2021","unstructured":"Jasmine Latendresse , Rabe Abdalkareem , Diego Elias Costa, and Emad Shihab . 2021 . How effective is continuous integration in indicating single-statement bugs? In MSR. 500\u2013504. Jasmine Latendresse, Rabe Abdalkareem, Diego Elias Costa, and Emad Shihab. 2021. How effective is continuous integration in indicating single-statement bugs? In MSR. 500\u2013504."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Owolabi Legunsen Farah Hariri August Shi Yafeng Lu Lingming Zhang and Darko Marinov. 2016. An extensive study of static regression test selection in modern software evolution. In FSE. 583\u2013594. Owolabi Legunsen Farah Hariri August Shi Yafeng Lu Lingming Zhang and Darko Marinov. 2016. An extensive study of static regression test selection in modern software evolution. In FSE. 583\u2013594.","DOI":"10.1145\/2950290.2950361"},{"key":"e_1_3_2_1_44_1","volume-title":"STARTS: STAtic Regression Test Selection. In ASE-Demo. 949\u2013954.","author":"Legunsen Owolabi","year":"2017","unstructured":"Owolabi Legunsen , August Shi , and Darko Marinov . 2017 . STARTS: STAtic Regression Test Selection. In ASE-Demo. 949\u2013954. Owolabi Legunsen, August Shi, and Darko Marinov. 2017. STARTS: STAtic Regression Test Selection. In ASE-Demo. 949\u2013954."},{"key":"e_1_3_2_1_45_1","volume-title":"Nemo: Multi-criteria test-suite minimization with integer nonlinear programming. In ICSE. 1039\u20131049.","author":"Lin Jun-Wei","year":"2018","unstructured":"Jun-Wei Lin , Reyhaneh Jabbarvand , Joshua Garcia , and Sam Malek . 2018 . Nemo: Multi-criteria test-suite minimization with integer nonlinear programming. In ICSE. 1039\u20131049. Jun-Wei Lin, Reyhaneh Jabbarvand, Joshua Garcia, and Sam Malek. 2018. Nemo: Multi-criteria test-suite minimization with integer nonlinear programming. In ICSE. 1039\u20131049."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Yu Liu Pengyu Nie Owolabi Legunsen and Milos Gligoric. 2022. Inline tests. In ASE. 1\u201313. Yu Liu Pengyu Nie Owolabi Legunsen and Milos Gligoric. 2022. Inline tests. In ASE. 1\u201313.","DOI":"10.1145\/3551349.3556952"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Yu Liu Zachary Thurston Alan Han Pengyu Nie Milos Gligoric and Owolabi Legunsen. 2023. pytest-inline: An inline testing tool for Python. In ICSE-Demo. to appear. Yu Liu Zachary Thurston Alan Han Pengyu Nie Milos Gligoric and Owolabi Legunsen. 2023. pytest-inline: An inline testing tool for Python. In ICSE-Demo. to appear.","DOI":"10.1109\/ICSE-Companion58688.2023.00046"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Yu Liu Jiyang Zhang Pengyu Nie Milos Gligoric and Owolabi Legunsen. 2023. More precise regression test selection via reasoning about semantics-modifying changes. In ISSTA. To appear. Yu Liu Jiyang Zhang Pengyu Nie Milos Gligoric and Owolabi Legunsen. 2023. More precise regression test selection via reasoning about semantics-modifying changes. In ISSTA. To appear.","DOI":"10.1145\/3597926.3598086"},{"key":"e_1_3_2_1_49_1","unstructured":"2022. Mp911de Logstash Gelf. https:\/\/github.com\/mp911de\/logstash-gelf 2022. Mp911de Logstash Gelf. https:\/\/github.com\/mp911de\/logstash-gelf"},{"key":"e_1_3_2_1_50_1","unstructured":"2022. XStream developer. https:\/\/x-stream.github.io\/index.html 2022. XStream developer. https:\/\/x-stream.github.io\/index.html"},{"key":"e_1_3_2_1_51_1","unstructured":"Qingzhou Luo Lamyaa Eloussi Farah Hariri and Darko Marinov. 2014. An empirical analysis of flaky tests. FSE 643\u2013653. Qingzhou Luo Lamyaa Eloussi Farah Hariri and Darko Marinov. 2014. An empirical analysis of flaky tests. FSE 643\u2013653."},{"key":"e_1_3_2_1_52_1","first-page":"97","article-title":"MuJava: An automated class mutation system","volume":"15","author":"Ma Yu-Seung","year":"2005","unstructured":"Yu-Seung Ma , Jeff Offutt , and Yong Rae Kwon . 2005 . MuJava: An automated class mutation system . STVR , 15 , 2 (2005), 97 \u2013 133 . Yu-Seung Ma, Jeff Offutt, and Yong Rae Kwon. 2005. MuJava: An automated class mutation system. STVR, 15, 2 (2005), 97\u2013133.","journal-title":"STVR"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2777831"},{"key":"e_1_3_2_1_54_1","first-page":"105","article-title":"Search-based software test data generation: A survey","volume":"14","author":"McMinn Phil","year":"2004","unstructured":"Phil McMinn . 2004 . Search-based software test data generation: A survey . STVR , 14 , 2 (2004), 105 \u2013 156 . Phil McMinn. 2004. Search-based software test data generation: A survey. STVR, 14, 2 (2004), 105\u2013156.","journal-title":"STVR"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Manish Motwani and Yuriy Brun. 2019. Automatically generating precise oracles from structured natural language specifications. In ICSE. 188\u2013199. Manish Motwani and Yuriy Brun. 2019. Automatically generating precise oracles from structured natural language specifications. In ICSE. 188\u2013199.","DOI":"10.1109\/ICSE.2019.00035"},{"key":"e_1_3_2_1_56_1","unstructured":"Mountainminds GmbH & Co. KG and Contributors. 2023. JaCoCo - Java Code Coverage Library. https:\/\/www.jacoco.org\/jacoco Mountainminds GmbH & Co. KG and Contributors. 2023. JaCoCo - Java Code Coverage Library. https:\/\/www.jacoco.org\/jacoco"},{"key":"e_1_3_2_1_57_1","unstructured":"2022. JSON Schema Validator. https:\/\/github.com\/networknt\/json-schema-validator 2022. JSON Schema Validator. https:\/\/github.com\/networknt\/json-schema-validator"},{"key":"e_1_3_2_1_58_1","volume-title":"Raymond J. Mooney, and Milos Gligoric.","author":"Nie Pengyu","year":"2023","unstructured":"Pengyu Nie , Rahul Banerjee , Junyi Jessy Li , Raymond J. Mooney, and Milos Gligoric. 2023 . Learning deep semantics for test completion. In ICSE. 1\u201312. Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, and Milos Gligoric. 2023. Learning deep semantics for test completion. In ICSE. 1\u201312."},{"key":"e_1_3_2_1_59_1","volume-title":"OOPSLA","author":"Nie Pengyu","year":"2020","unstructured":"Pengyu Nie , Marinela Parovic , Zhiqiang Zang , Sarfraz Khurshid , Aleksandar Milicevic , and Milos Gligoric . 2020. Unifying execution of imperative generators and declarative specifications. PACMPL, 4 , OOPSLA ( 2020 ). Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric. 2020. Unifying execution of imperative generators and declarative specifications. PACMPL, 4, OOPSLA (2020)."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","unstructured":"Raphael Noemmer and Roman Haas. 2019. An evaluation of test suite minimization techniques. In SWQD. 51\u201366. Raphael Noemmer and Roman Haas. 2019. An evaluation of test suite minimization techniques. In SWQD. 51\u201366.","DOI":"10.1007\/978-3-030-35510-4_4"},{"key":"e_1_3_2_1_61_1","unstructured":"Oracle. 2022. Chapter 4. The class file format. https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/html\/jvms-4.html#jvms-4.7.3 Oracle. 2022. Chapter 4. The class file format. https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/html\/jvms-4.html#jvms-4.7.3"},{"key":"e_1_3_2_1_62_1","volume-title":"Randoop: Feedback-directed random testing for Java. In OOPSLA. 815\u2013816.","author":"Pacheco Carlos","year":"2007","unstructured":"Carlos Pacheco and Michael D Ernst . 2007 . Randoop: Feedback-directed random testing for Java. In OOPSLA. 815\u2013816. Carlos Pacheco and Michael D Ernst. 2007. Randoop: Feedback-directed random testing for Java. In OOPSLA. 815\u2013816."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"key":"e_1_3_2_1_64_1","volume-title":"A survey of flaky tests. TOSEM, 31","author":"Parry Owain","year":"2022","unstructured":"Owain Parry , Gregory M. Kapfhammer , Michael C Hilton , and Phil McMinn . 2022. A survey of flaky tests. TOSEM, 31 ( 2022 ), 17:1\u201317:74. Owain Parry, Gregory M. Kapfhammer, Michael C Hilton, and Phil McMinn. 2022. A survey of flaky tests. TOSEM, 31 (2022), 17:1\u201317:74."},{"key":"e_1_3_2_1_65_1","unstructured":"PePy Team. 2023. pytest-inline downloads. https:\/\/pepy.tech\/project\/pytest-inline PePy Team. 2023. pytest-inline downloads. https:\/\/pepy.tech\/project\/pytest-inline"},{"key":"e_1_3_2_1_66_1","first-page":"3900","article-title":"Practical mutation testing at scale: A view from Google","volume":"48","author":"Petrovi\u0107 Goran","year":"2021","unstructured":"Goran Petrovi\u0107 , Marko Ivankovi\u0107 , Gordon Fraser , and Ren\u00e9 Just . 2021 . Practical mutation testing at scale: A view from Google . TSE , 48 , 10 (2021), 3900 \u2013 3912 . Goran Petrovi\u0107, Marko Ivankovi\u0107, Gordon Fraser, and Ren\u00e9 Just. 2021. Practical mutation testing at scale: A view from Google. TSE, 48, 10 (2021), 3900\u20133912.","journal-title":"TSE"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"crossref","unstructured":"Goran R. Petrovi\u0107 Marko Ivankovi\u0107 Gordon Fraser and Ren\u00e9 Just. 2021. Does mutation testing improve testing practices? ICSE 910\u2013921. Goran R. Petrovi\u0107 Marko Ivankovi\u0107 Gordon Fraser and Ren\u00e9 Just. 2021. Does mutation testing improve testing practices? ICSE 910\u2013921.","DOI":"10.1109\/ICSE43902.2021.00087"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"crossref","unstructured":"Cedric Richter and Heike Wehrheim. 2022. TSSB-3M: Mining single statement bugs at massive scale. In MSR. 418\u2013422. Cedric Richter and Heike Wehrheim. 2022. TSSB-3M: Mining single statement bugs at massive scale. In MSR. 418\u2013422.","DOI":"10.1145\/3524842.3528505"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"crossref","unstructured":"Brian Robinson Michael D Ernst Jeff H Perkins Vinay Augustine and Nuo Li. 2011. Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. In ASE. 23\u201332. Brian Robinson Michael D Ernst Jeff H Perkins Vinay Augustine and Nuo Li. 2011. Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. In ASE. 23\u201332.","DOI":"10.1109\/ASE.2011.6100059"},{"key":"e_1_3_2_1_70_1","volume-title":"Jeffery Ostrin, and Christie Hong.","author":"Rothermel Gregg","year":"1998","unstructured":"Gregg Rothermel , Mary Jean Harrold , Jeffery Ostrin, and Christie Hong. 1998 . An empirical study of the effects of minimization on the fault detection capabilities of test suites. In ICSM. 34\u201343. Gregg Rothermel, Mary Jean Harrold, Jeffery Ostrin, and Christie Hong. 1998. An empirical study of the effects of minimization on the fault detection capabilities of test suites. In ICSM. 34\u201343."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"crossref","unstructured":"Sebastian Schweikl Gordon Fraser and Andrea Arcuri. 2022. EvoSuite at the SBST 2022 tool competition. In SBST. 33\u201334. Sebastian Schweikl Gordon Fraser and Andrea Arcuri. 2022. EvoSuite at the SBST 2022 tool competition. In SBST. 33\u201334.","DOI":"10.1145\/3526072.3527526"},{"key":"e_1_3_2_1_72_1","volume-title":"Gordon Fraser, Phil McMinn, and Andrea Arcuri.","author":"Shamshiri Sina","year":"2015","unstructured":"Sina Shamshiri , Ren\u00e9 Just , Jos\u00e9 Miguel Rojas , Gordon Fraser, Phil McMinn, and Andrea Arcuri. 2015 . Do automatically generated unit tests find real faults? An empirical study of effectiveness and challenges (t). In ASE. 201\u2013211. Sina Shamshiri, Ren\u00e9 Just, Jos\u00e9 Miguel Rojas, Gordon Fraser, Phil McMinn, and Andrea Arcuri. 2015. Do automatically generated unit tests find real faults? An empirical study of effectiveness and challenges (t). In ASE. 201\u2013211."},{"key":"e_1_3_2_1_73_1","unstructured":"August Shi. 2023. Collection of scripts to conduct test-suite reduction. https:\/\/github.com\/august782\/testsuite-reduction August Shi. 2023. Collection of scripts to conduct test-suite reduction. https:\/\/github.com\/august782\/testsuite-reduction"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"crossref","unstructured":"August Shi Alex Gyori Milos Gligoric Andrey Zaytsev and Darko Marinov. 2014. Balancing trade-offs in test-suite reduction. In FSE. 246\u2013256. August Shi Alex Gyori Milos Gligoric Andrey Zaytsev and Darko Marinov. 2014. Balancing trade-offs in test-suite reduction. In FSE. 246\u2013256.","DOI":"10.1145\/2635868.2635921"},{"key":"e_1_3_2_1_75_1","unstructured":"August Shi Alex Gyori Owolabi Legunsen and Darko Marinov. 2016. Detecting assumptions on deterministic implementations of non-deterministic specifications. In ICST. 80\u201390. August Shi Alex Gyori Owolabi Legunsen and Darko Marinov. 2016. Detecting assumptions on deterministic implementations of non-deterministic specifications. In ICST. 80\u201390."},{"key":"e_1_3_2_1_76_1","unstructured":"August Shi Alex Gyori Suleman Mahmood Peiyuan Zhao and Darko Marinov. 2018. Evaluating test-suite reduction in real software evolution. In ISSTA. 84\u201394. August Shi Alex Gyori Suleman Mahmood Peiyuan Zhao and Darko Marinov. 2018. Evaluating test-suite reduction in real software evolution. In ISSTA. 84\u201394."},{"key":"e_1_3_2_1_77_1","first-page":"1","article-title":"Reflection-aware static regression test selection","volume":"187","author":"Shi August","year":"2019","unstructured":"August Shi , Milica Hadzi-Tanovic , Lingming Zhang , Darko Marinov , and Owolabi Legunsen . 2019 . Reflection-aware static regression test selection . In OOPSLA. 187 : 1 \u2013 187 :29. August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen. 2019. Reflection-aware static regression test selection. In OOPSLA. 187:1\u2013187:29.","journal-title":"OOPSLA."},{"key":"e_1_3_2_1_78_1","unstructured":"August Shi Tifany Yung Alex Gyori and Darko Marinov. 2015. Comparing and combining test-suite reduction and regression test selection. In FSE. 237\u2013247. August Shi Tifany Yung Alex Gyori and Darko Marinov. 2015. Comparing and combining test-suite reduction and regression test selection. In FSE. 237\u2013247."},{"key":"e_1_3_2_1_79_1","unstructured":"Jane Street. 2023. Inline tests. https:\/\/github.com\/janestreet\/ppx_inline_test Jane Street. 2023. Inline tests. https:\/\/github.com\/janestreet\/ppx_inline_test"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1108768.1108802","article-title":"A concept analysis inspired greedy algorithm for test suite minimization","volume":"31","author":"Tallam Sriraman","year":"2005","unstructured":"Sriraman Tallam and Neelam Gupta . 2005 . A concept analysis inspired greedy algorithm for test suite minimization . ACM SIGSOFT Software Engineering Notes , 31 , 1 (2005), 35 \u2013 42 . Sriraman Tallam and Neelam Gupta. 2005. A concept analysis inspired greedy algorithm for test suite minimization. ACM SIGSOFT Software Engineering Notes, 31, 1 (2005), 35\u201342.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"e_1_3_2_1_81_1","unstructured":"Crafter Core Team. 2023. Crafter CMS Core. https:\/\/github.com\/craftercms\/core Crafter Core Team. 2023. Crafter CMS Core. https:\/\/github.com\/craftercms\/core"},{"key":"e_1_3_2_1_82_1","unstructured":"Major Team. 2023. Major mutation framework. https:\/\/mutation-testing.org\/ Major Team. 2023. Major mutation framework. https:\/\/mutation-testing.org\/"},{"key":"e_1_3_2_1_83_1","unstructured":"Pitest Team. 2022. PIT - Mutation Testing for Java. https:\/\/pitest.org\/ Pitest Team. 2022. PIT - Mutation Testing for Java. https:\/\/pitest.org\/"},{"key":"e_1_3_2_1_84_1","unstructured":"Randoop Team. 2023. Randoop Manual. https:\/\/randoop.github.io\/randoop\/manual\/ Randoop Team. 2023. Randoop Manual. https:\/\/randoop.github.io\/randoop\/manual\/"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"crossref","unstructured":"Cody Watson Michele Tufano Kevin Moran Gabriele Bavota and Denys Poshyvanyk. 2020. On learning meaningful assert statements for unit test cases. In ICSE. 1398\u20131409. Cody Watson Michele Tufano Kevin Moran Gabriele Bavota and Denys Poshyvanyk. 2020. On learning meaningful assert statements for unit test cases. In ICSE. 1398\u20131409.","DOI":"10.1145\/3377811.3380429"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"crossref","unstructured":"Yingfei Xiong Dan Hao Lu Zhang Tao Zhu Muyao Zhu and Tian Lan. 2015. Inner oracles: Input-specific assertions on internal states. In FSE. 902\u2013905. Yingfei Xiong Dan Hao Lu Zhang Tao Zhu Muyao Zhu and Tian Lan. 2015. Inner oracles: Input-specific assertions on internal states. In FSE. 902\u2013905.","DOI":"10.1145\/2786805.2803204"},{"key":"e_1_3_2_1_87_1","first-page":"67","article-title":"Regression testing minimization, selection and prioritization: A survey","volume":"22","author":"Yoo Shin","year":"2012","unstructured":"Shin Yoo and Mark Harman . 2012 . Regression testing minimization, selection and prioritization: A survey . STVR , 22 , 2 (2012), 67 \u2013 120 . Shin Yoo and Mark Harman. 2012. Regression testing minimization, selection and prioritization: A survey. STVR, 22, 2 (2012), 67\u2013120.","journal-title":"STVR"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"crossref","unstructured":"Hao Yu Yiling Lou Ke Sun Dezhi Ran Tao Xie Dan Hao Ying Li Ge Li and Qianxiang Wang. 2022. Automated assertion generation via information retrieval and its integration with deep learning. In ICSE. 163\u2013174. Hao Yu Yiling Lou Ke Sun Dezhi Ran Tao Xie Dan Hao Ying Li Ge Li and Qianxiang Wang. 2022. Automated assertion generation via information retrieval and its integration with deep learning. In ICSE. 163\u2013174.","DOI":"10.1145\/3510003.3510149"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"crossref","unstructured":"Lingming Zhang Darko Marinov Lu Zhang and Sarfraz Khurshid. 2011. An empirical study of JUnit test-suite reduction. In ISSRE. 170\u2013179. Lingming Zhang Darko Marinov Lu Zhang and Sarfraz Khurshid. 2011. An empirical study of JUnit test-suite reduction. In ISSRE. 170\u2013179.","DOI":"10.1109\/ISSRE.2011.26"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"crossref","unstructured":"Chenguang Zhu Owolabi Legunsen August Shi and Milos Gligoric. 2019. A framework for checking regression test selection tools. In ICSE. 430\u2013441. Chenguang Zhu Owolabi Legunsen August Shi and Milos Gligoric. 2019. A framework for checking regression test selection tools. In ICSE. 430\u2013441.","DOI":"10.1109\/ICSE.2019.00056"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"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.3598149","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:59Z","timestamp":1750178279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":90,"alternative-id":["10.1145\/3597926.3598149","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598149","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"}}]}}