{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T03:56:47Z","timestamp":1769831807071,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":21,"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\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-2008905,CCF-2047682"],"award-info":[{"award-number":["CCF-2008905,CCF-2047682"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Eugene McDermott Graduate Fellowship","award":["202006"],"award-info":[{"award-number":["202006"]}]},{"name":"NSF (National Science Foundation) GRFP","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3604918","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1479-1482","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools"],"prefix":"10.1145","author":[{"given":"Austin","family":"Mordahl","sequence":"first","affiliation":[{"name":"University of Texas at Dallas, USA"}]},{"given":"Dakota","family":"Soles","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}]},{"given":"Miao","family":"Miao","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}]},{"given":"Zenong","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}]},{"given":"Shiyi","family":"Wei","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. DroidBench 3.0. \u00a7MALL. https:\/\/github.com\/FoelliX\/ReproDroid \t\t\t\t  2021. DroidBench 3.0. \u00a7MALL. https:\/\/github.com\/FoelliX\/ReproDroid"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. The Call-graph Assessment & Test Suite. https:\/\/bitbucket.org\/delors\/cats\/src\/master\/. \t\t\t\t  2022. The Call-graph Assessment & Test Suite. https:\/\/bitbucket.org\/delors\/cats\/src\/master\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2022. FossDroid. \u00a7MALL. https:\/\/fossdroid.com \t\t\t\t  2022. FossDroid. \u00a7MALL. https:\/\/fossdroid.com"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. WALA. https:\/\/github.com\/wala\/WALA \t\t\t\t  2022. WALA. https:\/\/github.com\/wala\/WALA"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660214"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications. 169\u2013190","author":"Blackburn S. M.","unstructured":"S. M. Blackburn , R. Garner , C. Hoffman , A. M. Khan , K. S. McKinley , R. Bentzur , A. Diwan , D. Feinberg , D. Frampton , S. Z. Guyer , M. Hirzel , A. Hosking , M. Jump , H. Lee , J. E. B. Moss , A. Phansalkar , D. Stefanovi\u0107 , T. VanDrunen , D. von Dincklage , and B. Wiedermann . 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In OOPSLA \u201906 : Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications. 169\u2013190 . S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovi\u0107, T. VanDrunen, D. von Dincklage, and B. Wiedermann. 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In OOPSLA \u201906: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications. 169\u2013190."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639949.1640108"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2868349"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2600239.2600241"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464823"},{"key":"e_1_3_2_1_15_1","volume-title":"ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. In 45th International Conference on Software Engineering (ICSE).","author":"Mordahl Austin","year":"2023","unstructured":"Austin Mordahl , Zenong Zhang , Dakota Soles , and Shiyi Wei . 2023 . ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. In 45th International Conference on Software Engineering (ICSE). Austin Mordahl, Zenong Zhang, Dakota Soles, and Shiyi Wei. 2023. ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. In 45th International Conference on Software Engineering (ICSE)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236029"},{"key":"e_1_3_2_1_17_1","volume-title":"Two approaches to interprocedural data flow analysis","author":"Sharir Micha","unstructured":"Micha Sharir and Amir Pnueli . 1978. Two approaches to interprocedural data flow analysis . New York University. Courant Institute of Mathematical Sciences \u2026. Micha Sharir and Amir Pnueli. 1978. Two approaches to interprocedural data flow analysis. New York University. Courant Institute of Mathematical Sciences \u2026."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89884-1_23"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950338"}],"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.3604918","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3604918","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.3604918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":21,"alternative-id":["10.1145\/3597926.3604918","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3604918","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"}}]}}