{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T12:59:03Z","timestamp":1782737943090,"version":"3.54.5"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031870538","type":"print"},{"value":"9783031870545","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:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-87054-5_3","type":"book-chapter","created":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T12:15:03Z","timestamp":1742732103000},"page":"27-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Test Generation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2416-4205","authenticated-orcid":false,"given":"Eduard","family":"Enoiu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8177-4355","authenticated-orcid":false,"given":"Nasir","family":"Mehmood Minhas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3818-4442","authenticated-orcid":false,"given":"Michael","family":"Felderer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0611-2655","authenticated-orcid":false,"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,3,21]]},"reference":[{"key":"3_CR1","unstructured":"bin Ali, N., et al.: On the search for industry-relevant regression testing research. Empirical Software Engineering, pp. 1\u201336 (2019)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Ali, S., Yue, T.: Formalizing the iso\/iec\/ieee 29119 software testing standard. In: 2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 396\u2013405. IEEE (2015)","DOI":"10.1109\/MODELS.2015.7338271"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., et al.: Automated unit test improvement using large language models at meta. In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, pp. 185\u2013196 (2024)","DOI":"10.1145\/3663529.3663839"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, J.: Introduction to software testing. Cambridge University Press (2017)","DOI":"10.1017\/9781316771273"},{"issue":"8","key":"3_CR5","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., McMinn, P., Bertolino, A., et al.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1959","DOI":"10.1007\/s10664-017-9570-9","volume":"23","author":"A Arcuri","year":"2018","unstructured":"Arcuri, A.: An experience report on applying software testing academic results in industry: we need usable automated test generation. Empir. Softw. Eng. 23(4), 1959\u20131981 (2018)","journal-title":"Empir. Softw. Eng."},{"key":"3_CR7","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"P Baker","year":"2009","unstructured":"Baker, P.: Model-Driven Testing: Using the UML Testing Profile. Springer, Heidelberg (2009)"},{"issue":"5","key":"3_CR8","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2014","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Software Eng. 41(5), 507\u2013525 (2014)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10009-015-0365-2","volume":"17","author":"M Felderer","year":"2015","unstructured":"Felderer, M., Fourneret, E.: A systematic classification of security regression testing approaches. Int. J. Softw. Tools Technol. Transfer 17, 305\u2013319 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s10009-014-0332-3","volume":"16","author":"M Felderer","year":"2014","unstructured":"Felderer, M., Schieferdecker, I.: A taxonomy of risk-based testing. Int. J. Softw. Tools Technol. Transfer 16, 559\u2013568 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/stvr.1580","volume":"26","author":"M Felderer","year":"2016","unstructured":"Felderer, M., Zech, P., Breu, R., B\u00fcchler, M., Pretschner, A.: Model-based security testing: a taxonomy and systematic classification. Softw. Testing Verification Reliability 26(2), 119\u2013148 (2016)","journal-title":"Softw. Testing Verification Reliability"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Fraser, G., Rojas, J.M.: Software testing. In: Handbook of Software Engineering, pp. 123\u2013192. Springer (2019)","DOI":"10.1007\/978-3-030-00262-6_4"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MS.2019.2915297","volume":"37","author":"J Gro\u00dfmann","year":"2019","unstructured":"Gro\u00dfmann, J., Felderer, M., Viehmann, J., Schieferdecker, I.: A taxonomy to assess and tailor risk-based testing in recent testing standards. IEEE Softw. 37(1), 40\u201349 (2019)","journal-title":"IEEE Softw."},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"ISO\/IEC\/IEEE: Iso\/iec\/ieee international standard - software and systems engineering \u2013software testing \u2013part 1: general concepts. ISO\/IEC\/IEEE 29119-1:2022(E), pp. 1\u201360 (2022). https:\/\/doi.org\/10.1109\/IEEESTD.2022.9698145","DOI":"10.1109\/IEEESTD.2022.9698145"},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111697","volume":"202","author":"NM Minhas","year":"2023","unstructured":"Minhas, N.M., B\u00f6rstler, J., Petersen, K.: Checklists to support decision-making in regression testing. J. Syst. Softw. 202, 111697 (2023)","journal-title":"J. Syst. Softw."},{"issue":"6","key":"3_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2235","volume":"32","author":"NM Minhas","year":"2020","unstructured":"Minhas, N.M., Masood, S., Petersen, K., Nadeem, A.: A systematic mapping of test case generation techniques using uml interaction diagrams. J. Softw. Evol. Process 32(6), e2235 (2020)","journal-title":"J. Softw. Evol. Process"},{"key":"3_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.106254","volume":"120","author":"NM Minhas","year":"2020","unstructured":"Minhas, N.M., Petersen, K., B\u00f6rstler, J., Wnuk, K.: Regression testing for large-scale embedded software development - exploring the state of practice. Inf. Softw. Technol. 120, 106254 (2020)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Pfeiffer, R.H.: What constitutes software? an empirical, descriptive study of artifacts. In: Proceedings of the 17th International Conference on Mining Software Repositories, pp. 481\u2013491 (2020)","DOI":"10.1145\/3379597.3387442"},{"key":"3_CR19","volume-title":"A taxonomy of model-based testing","author":"A Pretschner","year":"2006","unstructured":"Pretschner, A., Utting, M., Legeard, B.: A taxonomy of model-based testing. Department of Computer Science, University of Waikato, Tech. Rep (2006)"},{"issue":"7","key":"3_CR20","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1109\/TSE.2018.2796554","volume":"45","author":"P Ralph","year":"2018","unstructured":"Ralph, P.: Toward methodological guidelines for process theories and taxonomies in software engineering. IEEE Trans. Software Eng. 45(7), 712\u2013735 (2018)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Ramli, N., Othman, R.R., Khalib, Z.I.A., Jusoh, M.: A review on recent t-way combinatorial testing strategy. In: MATEC Web of Conferences, vol.\u00a0140, p. 01016. EDP Sciences (2017)","DOI":"10.1051\/matecconf\/201714001016"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1016\/j.asoc.2016.08.030","volume":"49","author":"A Saeed","year":"2016","unstructured":"Saeed, A., Ab Hamid, S.H., Mustafa, M.B.: The experimental applications of search-based techniques for model-based testing: Taxonomy and systematic literature review. Appl. Soft Comput. 49, 1094\u20131117 (2016)","journal-title":"Appl. Soft Comput."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., Nadi, S., Eghbali, A., Tip, F.: An empirical evaluation of using large language models for automated unit test generation. IEEE Trans. Softw. Eng. (2023)","DOI":"10.1109\/TSE.2023.3334955"},{"issue":"9","key":"3_CR24","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1109\/TSE.2016.2532875","volume":"42","author":"S Segura","year":"2016","unstructured":"Segura, S., Fraser, G., Sanchez, A.B., Ruiz-Cort\u00e9s, A.: A survey on metamorphic testing. IEEE Trans. Software Eng. 42(9), 805\u2013824 (2016)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"3_CR25","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1093\/comjnl\/34.2.143","volume":"34","author":"T Tse","year":"1991","unstructured":"Tse, T., Pong, L.: An examination of requirements specification languages. Comput. J. 34(2), 143\u2013152 (1991)","journal-title":"Comput. J."},{"issue":"5","key":"3_CR26","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Testing Verification Reliability 22(5), 297\u2013312 (2012)","journal-title":"Softw. Testing Verification Reliability"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Willcock, C., Dei\u00df, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: An introduction to TTCN-3. John Wiley & Sons (2011)","DOI":"10.1002\/9780470977903"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Zander, J., Schieferdecker, I.: Model-based testing of embedded systems exemplified for the automotive domain. In: Behavioral modeling for embedded systems and technologies: Applications for design and implementation, pp. 377\u2013413. IGI Global (2010)","DOI":"10.4018\/978-1-60566-750-8.ch015"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Zander, J., Schieferdecker, I., Mosterman, P.J.: A taxonomy of model-based testing for embedded systems from multiple industry domains. (2011)","DOI":"10.1201\/b11321-2"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-87054-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T12:15:13Z","timestamp":1742732113000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-87054-5_3"}},"subtitle":["Taxonomy and Tool Applications"],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031870538","9783031870545"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-87054-5_3","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":"21 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"V\u00e4ster\u00e5s","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","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":"7 April 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/fsen-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}