{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:35Z","timestamp":1776373535644,"version":"3.51.2"},"publisher-location":"Cham","reference-count":62,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031908996","type":"print"},{"value":"9783031909009","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"vor","delay-in-days":120,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The 7th edition of the Competition on Software Testing (Test-Comp 2025) provides an overview and comparative evaluation of automatic test-suite generators for C programs. The experimental evaluation was performed on a benchmark set of 11\u00a0226 test-generation tasks for C\u00a0programs. Each test-generation task consisted of a program and a test specification. The test specifications included error coverage (generate a test suite that exhibits a bug) and branch coverage (generate a test suite that executes as many program branches as possible). Test-Comp\u00a02025 evaluated 20\u00a0software systems for test generation that are all freely available. This included 13\u00a0test-suite generators that participated with active support from teams led by 12\u00a0different representatives from 8\u00a0countries (actively maintained software systems, participation in competition jury). Test-Comp\u00a02025 had 1\u00a0new participant (\n\"Image missing\"\n) and 2\u00a0re-entries (<jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"https:\/\/fm-tools.sosy-lab.org\/#tool-esbmc-incr\" ext-link-type=\"uri\">\n              <jats:sc>ESBMC-incr<\/jats:sc>\n            <\/jats:ext-link>, <jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"https:\/\/fm-tools.sosy-lab.org\/#tool-esbmc-kind\" ext-link-type=\"uri\">\n              <jats:sc>ESBMC-kind<\/jats:sc>\n            <\/jats:ext-link>). The evaluation included also 7\u00a0test-generation tools from previous years.<\/jats:p>","DOI":"10.1007\/978-3-031-90900-9_13","type":"book-chapter","created":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:43:42Z","timestamp":1745988222000},"page":"257-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Advances in Automatic Software Testing: Test-Comp 2025"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4832-7662","authenticated-orcid":false,"given":"Dirk","family":"Beyer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","unstructured":"Aldughaim, M., Alshmrany, K.M., Gadelha, M.R., de\u00a0Freitas, R., Cordeiro, L.C.: FuSeBMC_IA: Interval analysis and methods for test-case generation (competition contribution). In: Proc. FASE. pp. 324\u2013329. LNCS\u00a013991, Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30826-0_18","DOI":"10.1007\/978-3-031-30826-0_18"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Aldughaim, M., Alshmrany, K.M., Mustafa, M., Cordeiro, L.C., Stancu, A.: Bounded model checking of software using interval methods via contractors. arXiv\/CoRR 2012(11245) (December 2020). https:\/\/doi.org\/10.48550\/arXiv.2012.11245","DOI":"10.48550\/arXiv.2012.11245"},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"Alshmrany, K., Aldughaim, M., Cordeiro, L., Bhayat, A.: FuSeBMC v.4: Smart seed generation for hybrid fuzzing (competition contribution). In: Proc. FASE. pp. 336\u2013340. LNCS 13241, Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99429-7_19","DOI":"10.1007\/978-3-030-99429-7_19"},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Alshmrany, K.M., Aldughaim, M., Bhayat, A., Cordeiro, L.C.: FuSeBMC: An energy-efficient test generator for finding security vulnerabilities in C programs. In: Proc. TAP. pp. 85\u2013105. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-79379-1_6","DOI":"10.1007\/978-3-030-79379-1_6"},{"key":"13_CR5","doi-asserted-by":"publisher","unstructured":"Anand, S., Burke, E.K., Chen, T.Y., Clark, J.A., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., McMinn, P.: An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software 86(8), 1978\u20132001 (2013). https:\/\/doi.org\/10.1016\/j.jss.2013.02.061","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"Barth, M., Dietsch, D., Heizmann, M., Jakobs, M.C.: Ultimate TestGen: Test case generation with automata-based software model checking (competition contribution). In: Proc. FASE. pp. 326\u2013330. LNCS\u00a014573, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57259-3_20","DOI":"10.1007\/978-3-031-57259-3_20"},{"key":"13_CR7","doi-asserted-by":"publisher","unstructured":"Barth, M., Jakobs, M.C.: Test-case generation with automata-based software model checking. In: Proc. SPIN. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-66149-5_14","DOI":"10.1007\/978-3-031-66149-5_14"},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Beyer, D., Black, P.E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T., Yamada, A.: TOOLympics 2019: An overview of competitions in formal methods. In: Proc. TACAS (3). pp. 3\u201324. LNCS 11429, Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3_1","DOI":"10.1007\/978-3-030-17502-3_1"},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Second competition on software verification (Summary of SVCOMP 2013). In: Proc. TACAS. pp. 594\u2013609. LNCS 7795, Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-36742-7_43","DOI":"10.1007\/978-3-642-36742-7_43"},{"key":"13_CR10","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Competition on software testing (Test-Comp). In: Proc. TACAS (3). pp. 167\u2013175. LNCS 11429, Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3_11","DOI":"10.1007\/978-3-030-17502-3_11"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Second competition on software testing: Test-Comp 2020. In: Proc. FASE. pp. 505\u2013519. LNCS 12076, Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_25","DOI":"10.1007\/978-3-030-45234-6_25"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Beyer, D.: First international competition on software testing (Test-Comp 2019). Int. J. Softw. Tools Technol. Transf. 23(6), 833\u2013846 (December 2021). https:\/\/doi.org\/10.1007\/s10009-021-00613-3","DOI":"10.1007\/s10009-021-00613-3"},{"key":"13_CR13","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Status report on software testing: Test-Comp 2021. In: Proc. FASE. pp. 341\u2013357. LNCS 12649, Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-71500-7_17","DOI":"10.1007\/978-3-030-71500-7_17"},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Advances in automatic software testing: Test-Comp 2022. In: Proc. FASE. pp. 321\u2013335. LNCS 13241, Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99429-7_18","DOI":"10.1007\/978-3-030-99429-7_18"},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Progress on software verification: SV-COMP 2022. In: Proc. TACAS (2). pp. 375\u2013402. LNCS 13244, Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99527-0_20","DOI":"10.1007\/978-3-030-99527-0_20"},{"key":"13_CR16","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Software testing: 5th comparative evaluation: Test-Comp 2023. In: Proc. FASE. pp. 309\u2013323. LNCS\u00a013991, Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30826-0_17","DOI":"10.1007\/978-3-031-30826-0_17"},{"key":"13_CR17","unstructured":"Beyer, D.: Automatic testing of C programs: Test-Comp 2024. Springer (2024)"},{"key":"13_CR18","unstructured":"Beyer, D.: Find, use, and conserve tools for formal methods. In: Proc. Festschrift Podelski 65th Birthday. Springer (2024), available online: https:\/\/www.sosy-lab.org\/research\/pub\/2024-Podelski65.Find_Use_and_Conserve_Tools_for_Formal_Methods.pdf"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Beyer, D.: State of the art in software verification and witness validation: SV-COMP 2024. In: Proc. TACAS\u00a0(3). pp. 299\u2013329. LNCS\u00a014572, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57256-2_15","DOI":"10.1007\/978-3-031-57256-2_15"},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Beyer, D.: FM-Tools Release\u00a02.2: Data set of metadata about tools for formal methods (SV-COMP\u00a02025, Test-Comp\u00a02025). Zenodo (2025). https:\/\/doi.org\/10.5281\/zenodo.15055359","DOI":"10.5281\/zenodo.15055359"},{"key":"13_CR21","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Results of the 7th Intl. Competition on Software Testing (Test-Comp\u00a02025). Zenodo (2025). https:\/\/doi.org\/10.5281\/zenodo.15034433","DOI":"10.5281\/zenodo.15034433"},{"key":"13_CR22","doi-asserted-by":"publisher","unstructured":"Beyer, D.: SV-Benchmarks: Benchmark set for software testing (Test-Comp 2025). Zenodo (2025). https:\/\/doi.org\/10.5281\/zenodo.15034421","DOI":"10.5281\/zenodo.15034421"},{"key":"13_CR23","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Test suites from test-generation tools (Test-Comp 2025). Zenodo (2025). https:\/\/doi.org\/10.5281\/zenodo.15034431","DOI":"10.5281\/zenodo.15034431"},{"key":"13_CR24","doi-asserted-by":"publisher","unstructured":"Beyer, D., Chien, P.C., Jankola, M.: BenchCloud: A platform for scalable performance benchmarking. In: Proc. ASE. pp. 2386\u20132389. ACM (2024). https:\/\/doi.org\/10.1145\/3691620.3695358","DOI":"10.1145\/3691620.3695358"},{"key":"13_CR25","doi-asserted-by":"publisher","unstructured":"Beyer, D., Chlipala, A.J., Henzinger, T.A., Jhala, R., Majumdar, R.: Generating tests from counterexamples. In: Proc. ICSE. pp. 326\u2013335. IEEE (2004). https:\/\/doi.org\/10.1109\/ICSE.2004.1317455","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"Beyer, D., Hartmanns, A., Kordon, F.: TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. LNCS\u00a014550, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-67695-6","DOI":"10.1007\/978-3-031-67695-6"},{"key":"13_CR27","doi-asserted-by":"publisher","unstructured":"Beyer, D., Jakobs, M.C.: CoVeriTest: Cooperative verifier-based testing. In: Proc. FASE. pp. 389\u2013408. LNCS 11424, Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_23","DOI":"10.1007\/978-3-030-16722-6_23"},{"key":"13_CR28","doi-asserted-by":"publisher","unstructured":"Beyer, D., Kanav, S.: CoVeriTeam: On-demand composition of cooperative verification systems. In: Proc. TACAS. pp. 561\u2013579. LNCS 13243, Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99524-9_31","DOI":"10.1007\/978-3-030-99524-9_31"},{"key":"13_CR29","doi-asserted-by":"publisher","unstructured":"Beyer, D., Lemberger, T.: Software verification: Testing vs. model checking. In: Proc. HVC. pp. 99\u2013114. LNCS 10629, Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-70389-3_7","DOI":"10.1007\/978-3-319-70389-3_7"},{"key":"13_CR30","doi-asserted-by":"publisher","unstructured":"Beyer, D., Lemberger, T.: TestCov: Robust test-suite execution and coverage measurement. In: Proc. ASE. pp. 1074\u20131077. IEEE (2019). https:\/\/doi.org\/10.1109\/ASE.2019.00105","DOI":"10.1109\/ASE.2019.00105"},{"key":"13_CR31","doi-asserted-by":"publisher","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Reliable benchmarking: Requirements and solutions. Int. J. Softw. Tools Technol. Transfer 21(1), 1\u201329 (2019). https:\/\/doi.org\/10.1007\/s10009-017-0469-y","DOI":"10.1007\/s10009-017-0469-y"},{"key":"13_CR32","doi-asserted-by":"publisher","unstructured":"Beyer, D., Wachowitz, H.: Coveriteam Release 1.2.1. Zenodo (2024). https:\/\/doi.org\/10.5281\/zenodo.11193690","DOI":"10.5281\/zenodo.11193690"},{"key":"13_CR33","doi-asserted-by":"publisher","unstructured":"Beyer, D., Wachowitz, H.: FM-Weck: Containerized execution of formal-methods tools. In: Proc. FM. pp. 39\u201347. LNCS\u00a014934, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-71177-0_3","DOI":"10.1007\/978-3-031-71177-0_3"},{"key":"13_CR34","doi-asserted-by":"publisher","unstructured":"B\u00fcrdek, J., Lochau, M., Bauregger, S., Holzer, A., von Rhein, A., Apel, S., Beyer, D.: Facilitating reuse in multi-goal test-suite generation for software product lines. In: Proc. FASE. pp. 84\u201399. LNCS\u00a09033, Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-46675-9_6","DOI":"10.1007\/978-3-662-46675-9_6"},{"key":"13_CR35","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proc. OSDI. pp. 209\u2013224. USENIX Association (2008)"},{"key":"13_CR36","doi-asserted-by":"publisher","unstructured":"Cadar, C., Nowack, M.: Klee symbolic execution engine in 2019 (competition contribution). Int. J. Softw. Tools Technol. Transf. 23(6), 867 \u2013 870 (December 2021). https:\/\/doi.org\/10.1007\/s10009-020-00570-3","DOI":"10.1007\/s10009-020-00570-3"},{"key":"13_CR37","doi-asserted-by":"publisher","unstructured":"Chalupa, M., Nov\u00e1k, J., Strej\u010dek, J.: Symbiotic 8: Parallel and targeted test generation (competition contribution). In: Proc. FASE. pp. 368\u2013372. LNCS 12649, Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-71500-7_20","DOI":"10.1007\/978-3-030-71500-7_20"},{"key":"13_CR38","doi-asserted-by":"publisher","unstructured":"Chalupa, M., Strej\u010dek, J., Vitovsk\u00e1, M.: Joint forces for memory safety checking. In: Proc. SPIN. pp. 115\u2013132. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-94111-0_7","DOI":"10.1007\/978-3-319-94111-0_7"},{"key":"13_CR39","doi-asserted-by":"crossref","unstructured":"Cok, D.R., D\u00e9harbe, D., Weber, T.: The 2014 SMT competition. JSAT 9, 207\u2013242 (2016)","DOI":"10.3233\/SAT190109"},{"key":"13_CR40","doi-asserted-by":"publisher","unstructured":"Dutta, A., Maghareh, R., Jaffar, J., Godboley, S., Yu, X.L.: TracerX: Pruning dynamic symbolic execution with deletion and weakest precondition interpolation (competition contribution). In: Proc. FASE. pp. 320\u2013325. LNCS\u00a014573, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57259-3_19","DOI":"10.1007\/978-3-031-57259-3_19"},{"key":"13_CR41","doi-asserted-by":"publisher","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Testing with model checkers: A survey. STVR 19(3), 215\u2013261 (2009). https:\/\/doi.org\/10.1002\/stvr.402","DOI":"10.1002\/stvr.402"},{"key":"13_CR42","doi-asserted-by":"publisher","unstructured":"Gadelha, M.Y., Ismail, H.I., Cordeiro, L.C.: Handling loops in bounded model checking of C programs via k-induction. Int. J. Softw. Tools Technol. Transf. 19(1), 97\u2013114 (February 2017). https:\/\/doi.org\/10.1007\/s10009-015-0407-9","DOI":"10.1007\/s10009-015-0407-9"},{"key":"13_CR43","doi-asserted-by":"publisher","unstructured":"Godefroid, P., Sen, K.: Combining model checking and testing. In: Handbook of Model Checking, pp. 613\u2013649. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_19","DOI":"10.1007\/978-3-319-10575-8_19"},{"key":"13_CR44","doi-asserted-by":"publisher","unstructured":"Harman, M., Hu, L., Hierons, R.M., Wegener, J., Sthamer, H., Baresel, A., Roper, M.: Testability transformation. IEEE Trans. Softw. Eng. 30(1), 3\u201316 (2004). https:\/\/doi.org\/10.1109\/TSE.2004.1265732","DOI":"10.1109\/TSE.2004.1265732"},{"key":"13_CR45","doi-asserted-by":"publisher","unstructured":"Holzer, A., Schallhart, C., Tautschnig, M., Veith, H.: How did you specify your test suite. In: Proc. ASE. pp. 407\u2013416. ACM (2010). https:\/\/doi.org\/10.1145\/1858996.1859084","DOI":"10.1145\/1858996.1859084"},{"key":"13_CR46","doi-asserted-by":"publisher","unstructured":"Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.: Tracer: A symbolic execution tool for verification. In: Proc. CAV. pp. 758\u2013766. LNCS 7358, Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_61","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"13_CR47","doi-asserted-by":"publisher","unstructured":"Jakobs, M.C., Richter, C.: CoVeriTest with adaptive time scheduling (competition contribution). In: Proc. FASE. pp. 358\u2013362. LNCS 12649, Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-71500-7_18","DOI":"10.1007\/978-3-030-71500-7_18"},{"key":"13_CR48","unstructured":"Jon\u00e1\u0161, M., Strej\u010dek, J., Trt\u00edk, M.: Fizzer with local space fuzzing (competition contribution). In: Proc. FASE. LNCS , Springer (2025)"},{"key":"13_CR49","doi-asserted-by":"publisher","unstructured":"Jon\u00e1\u0161, M., Strej\u010dek, J., Trt\u00edk, M., Urban, L.: Fizzer: New gray-box fuzzer (competition contribution). In: Proc. FASE. pp. 309\u2013313. LNCS\u00a014573, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57259-3_17","DOI":"10.1007\/978-3-031-57259-3_17"},{"key":"13_CR50","doi-asserted-by":"publisher","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976). https:\/\/doi.org\/10.1145\/360248.360252","DOI":"10.1145\/360248.360252"},{"key":"13_CR51","doi-asserted-by":"publisher","unstructured":"Lemberger, T.: Plain random test generation with PRTest (competition contribution). Int. J. Softw. Tools Technol. Transf. 23(6), 871\u2013873 (December 2021). https:\/\/doi.org\/10.1007\/s10009-020-00568-x","DOI":"10.1007\/s10009-020-00568-x"},{"key":"13_CR52","doi-asserted-by":"publisher","unstructured":"Marques, F., Santos, J.F., Santos, N., Ad\u00e3o, P.: Concolic execution for webassembly (artifact). Dagstuhl Artifacts Series 8(2), 20:1\u201320:3 (2022). https:\/\/doi.org\/10.4230\/DARTS.8.2.20","DOI":"10.4230\/DARTS.8.2.20"},{"key":"13_CR53","doi-asserted-by":"publisher","unstructured":"Misonizhnik, A., Morozov, S., Kostyukov, Y., Kalugin, V., Babushkin, A., Mordvinov, D., Ivanov, D.: KLEEF: Symbolic execution engine (competition contribution). In: Proc. FASE. pp. 314\u2013319. LNCS\u00a014573, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57259-3_18","DOI":"10.1007\/978-3-031-57259-3_18"},{"key":"13_CR54","doi-asserted-by":"publisher","unstructured":"Panichella, S., Gambi, A., Zampetti, F., Riccio, V.: SBST tool competition 2021. In: Proc. SBST. pp. 20\u201327. IEEE (2021). https:\/\/doi.org\/10.1109\/SBST52555.2021.00011","DOI":"10.1109\/SBST52555.2021.00011"},{"key":"13_CR55","doi-asserted-by":"publisher","unstructured":"Ruland, S., Lochau, M., Jakobs, M.C.: HybridTiger: Hybrid model checking and domination-based partitioning for efficient multi-goal test-suite generation (competition contribution). In: Proc. FASE. pp. 520\u2013524. LNCS 12076, Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_26","DOI":"10.1007\/978-3-030-45234-6_26"},{"key":"13_CR56","doi-asserted-by":"publisher","unstructured":"Song, J., Alves-Foss, J.: The DARPA cyber grand challenge: A competitor\u2019s perspective, part 2. IEEE Security and Privacy 14(1), 76\u201381 (2016). https:\/\/doi.org\/10.1109\/MSP.2016.14","DOI":"10.1109\/MSP.2016.14"},{"key":"13_CR57","doi-asserted-by":"publisher","unstructured":"Stump, A., Sutcliffe, G., Tinelli, C.: StarExec: A cross-community infrastructure for logic solving. In: Proc. IJCAR, pp. 367\u2013373. LNCS 8562, Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-08587-6_28","DOI":"10.1007\/978-3-319-08587-6_28"},{"key":"13_CR58","doi-asserted-by":"publisher","unstructured":"Sutcliffe, G.: The CADE ATP system competition: CASC. AI Magazine 37(2), 99\u2013101 (2016). https:\/\/doi.org\/10.1609\/aimag.v37i2.2620","DOI":"10.1609\/aimag.v37i2.2620"},{"key":"13_CR59","doi-asserted-by":"publisher","unstructured":"Visser, W., P\u0103s\u0103reanu, C.S., Khurshid, S.: Test-input generation with Java PathFinder. In: Proc. ISSTA. pp. 97\u2013107. ACM (2004). https:\/\/doi.org\/10.1145\/1007512.1007526","DOI":"10.1145\/1007512.1007526"},{"key":"13_CR60","unstructured":"Wei, C., Wu, T., Menezes, R.S., Shmarov, F., Aljaafari, F., Godboley, S., Alshmrany, K., de\u00a0Freitas, R., Cordeiro, L.: Esbmc v7.7: Automating branch-coverage analysis using CFG-based instrumentation and smt solving (competition contribution). In: Proc. FASE. LNCS\u00a0, Springer (2025)"},{"key":"13_CR61","doi-asserted-by":"publisher","unstructured":"Wendler, P., Beyer, D.: sosy-lab\/benchexec: Release 3.29. Zenodo (2025). https:\/\/doi.org\/10.5281\/zenodo.15007216","DOI":"10.5281\/zenodo.15007216"},{"key":"13_CR62","doi-asserted-by":"publisher","unstructured":"Zhang, G., Shuai, Z., Ma, K., Liu, K., Chen, Z., Wang, J.: FDSE: Enhance symbolic execution by fuzzing-based pre-analysis (competition contribution). In: Proc. FASE. pp. 304\u2013308. LNCS\u00a014573, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57259-3_16","DOI":"10.1007\/978-3-031-57259-3_16"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-90900-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:43:49Z","timestamp":1745988229000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-90900-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031908996","9783031909009"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-90900-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The test-generation tasks and results of the competition are published at Zenodo, as described in\u00a0Table . All components and data that are necessary for reproducing the competition are available in public version repositories, as specified in\u00a0Table . For easy access, the results are presented also online on the competition web site .","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Data-Availability Statement"}},{"value":"This project was funded in part by the Deutsche Forschungsgemeinschaft (DFG) \u2014  (Coop).","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Funding Statement"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hamilton, ON","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2025\/conferences\/fase\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}