{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T06:00:34Z","timestamp":1780898434901,"version":"3.54.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032248381","type":"print"},{"value":"9783032248398","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-24839-8_1","type":"book-chapter","created":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:43:23Z","timestamp":1777445003000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constraint-Guided Unit Test Generation for\u00a0Machine Learning Libraries"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-4571-4757","authenticated-orcid":false,"given":"Lukas","family":"Krodinger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7953-6244","authenticated-orcid":false,"given":"Altin","family":"Hajdari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0092-3476","authenticated-orcid":false,"given":"Stephan","family":"Lukasczyk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4364-6595","authenticated-orcid":false,"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,30]]},"reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri, A., Briand, L.C.: A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Softw. Test. Verification Reliab. 24(3), 219\u2013250 (2014)","journal-title":"Softw. Test. Verification Reliab."},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1007\/s10664-013-9249-9","volume":"18","author":"A Arcuri","year":"2013","unstructured":"Arcuri, A., Fraser, G.: Parameter tuning or default values? An empirical investigation in search-based software engineering. Empir. Softw. Eng. 18(3), 594\u2013623 (2013)","journal-title":"Empir. Softw. Eng."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.infsof.2018.08.010","volume":"104","author":"J Campos","year":"2018","unstructured":"Campos, J., Ge, Y., Albunian, N.M., Fraser, G., Eler, M., Arcuri, A.: An empirical evaluation of evolutionary algorithms for unit test suite generation. Inf. Softw. Technol. 104, 207\u2013235 (2018)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1177\/001316446002000104","volume":"20","author":"J Cohen","year":"1960","unstructured":"Cohen, J.: A coefficient of agreement for nominal scales. Educ. Psychol. Measur. 20(1), 37\u201346 (1960)","journal-title":"Educ. Psychol. Measur."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: Proceedings of ESEC\/FSE, pp. 416\u2013419. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Fraser, G., Rojas, J.M.: Software testing. In: Cha, S., Taylor, R.N., Kang, K.C. (eds.) Handbook of Software Engineering, pp. 123\u2013192. Springer (2019)","DOI":"10.1007\/978-3-030-00262-6_4"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Krodinger, L., Hajdari, A., Lukasczyk, S., Fraser, G.: Constraint-guided unit test generation for machine learning libraries (2025). https:\/\/doi.org\/10.5281\/zenodo.16920814","DOI":"10.5281\/zenodo.16920814"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Lemieux, C., Inala, J.P., Lahiri, S.K., Sen, S.: CodaMosa: escaping coverage plateaus in test generation with pre-trained large language models. In: Proceedings of ICSE, pp. 919\u2013931. IEEE (2023)","DOI":"10.1109\/ICSE48619.2023.00085"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Lukasczyk, S., Fraser, G.: Pynguin: automated unit test generation for Python. In: Proceedings of ICSE Companion, pp. 168\u2013172. ACM\/IEEE (2022)","DOI":"10.1145\/3510454.3516829"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Lukasczyk, S., Kroi\u00df, F., Fraser, G.: Automated unit test generation for Python. In: Proceedings of SSBSE. LNCS, vol. 12420, pp. 9\u201324. Springer (2020)","DOI":"10.1007\/978-3-030-59762-7_2"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10664-022-10248-w","volume":"28","author":"S Lukasczyk","year":"2023","unstructured":"Lukasczyk, S., Kroi\u00df, F., Fraser, G.: An empirical study of automated unit test generation for Python. Empir. Softw. Eng. 28(2), 36 (2023)","journal-title":"Empir. Softw. Eng."},{"issue":"1","key":"1_CR12","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1214\/aoms\/1177730491","volume":"18","author":"HB Mann","year":"1947","unstructured":"Mann, H.B., Whitney, D.R.: On a test of whether one of two random variables is stochastically larger than the other. Ann. Math. Stat. 18(1), 50\u201360 (1947)","journal-title":"Ann. Math. Stat."},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"TJ McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Software Eng. 2(4), 308\u2013320 (1976)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR14","unstructured":"Narayanan, A., Harzevili, N.S., Wang, J., Shi, L., Wei, M., Wang, S.: Automatic unit test generation for deep learning frameworks based on API knowledge. CoRR (2023)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Ernst, M.D.: Randoop: feedback-directed random testing for Java. In: Proceedings of OOPSLA Companion, pp. 815\u2013816. ACM (2007)","DOI":"10.1145\/1297846.1297902"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: Proceedings of ICSE, pp. 75\u201384. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.37"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/TSE.2017.2663435","volume":"44","author":"A Panichella","year":"2018","unstructured":"Panichella, A., Kifetew, F.M., Tonella, P.: Automated test case generation as a many-objective optimisation problem with dynamic selection of the targets. IEEE Trans. Software Eng. 44(2), 122\u2013158 (2018)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.infsof.2018.08.009","volume":"104","author":"A Panichella","year":"2018","unstructured":"Panichella, A., Kifetew, F.M., Tonella, P.: A large scale empirical comparison of state-of-the-art search-based test case generators. Inf. Softw. Technol. 104, 236\u2013256 (2018)","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MS.2006.91","volume":"23","author":"P Runeson","year":"2006","unstructured":"Runeson, P.: A survey of unit testing practices. IEEE Softw. 23(4), 22\u201329 (2006)","journal-title":"IEEE Softw."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Shi, J., et al.: ACETest: automated constraint extraction for testing deep learning operators. In: Proceedings of ISSTA, pp. 690\u2013702. ACM (2023)","DOI":"10.1145\/3597926.3598088"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Tonella, P.: Evolutionary testing of classes. In: Proceedings of ISSTA, pp. 119\u2013128. ACM (2004)","DOI":"10.1145\/1007512.1007528"},{"issue":"2","key":"1_CR22","first-page":"101","volume":"25","author":"A Vargha","year":"2000","unstructured":"Vargha, A., Delaney, H.D.: A critique and improvement of the cl common language effect size statistics of McGraw and Wong. J. Educ. Behav. Stat. 25(2), 101\u2013132 (2000)","journal-title":"J. Educ. Behav. Stat."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Wang, S., Shrestha, N., Subburaman, A.K., Wang, J., Wei, M., Nagappan, N.: Automatic unit test generation for machine learning libraries: how far are we? In: Proceedings of ICSE, pp. 1548\u20131560. IEEE (2021)","DOI":"10.1109\/ICSE43902.2021.00138"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Xie, D., et al.: DocTer: documentation-guided fuzzing for testing deep learning API functions. In: Proceedings of ISSTA, pp. 176\u2013188. ACM (2022)","DOI":"10.1145\/3533767.3534220"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s10515-025-00496-7","volume":"32","author":"R Yang","year":"2025","unstructured":"Yang, R., Xu, X., Wang, R.: LLM-enhanced evolutionary test generation for untyped languages. Autom. Softw. Eng. 32(1), 20 (2025)","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.2019.2962027","volume":"48","author":"JM Zhang","year":"2022","unstructured":"Zhang, J.M., Harman, M., Ma, L., Liu, Y.: Machine learning testing: survey, landscapes and horizons. IEEE Trans. Software Eng. 48(2), 1\u201336 (2022)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-24839-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T05:45:11Z","timestamp":1780897511000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-24839-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032248381","9783032248398"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-24839-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"30 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"SSBSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Search Based Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seoul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","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":"16 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ssbse2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ssbse-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}