{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:56:15Z","timestamp":1757627775860,"version":"3.44.0"},"publisher-location":"Cham","reference-count":72,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032009418"},{"type":"electronic","value":"9783032009425"}],"license":[{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"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-00942-5_1","type":"book-chapter","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T12:03:37Z","timestamp":1756296217000},"page":"3-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Navigating the\u00a0Growing Field of\u00a0Research on\u00a0AI for\u00a0Software Testing \u2013 The Taxonomy for\u00a0AI-Augmented Software Testing and\u00a0an\u00a0Ontology-Driven Literature Survey"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6298-2327","authenticated-orcid":false,"given":"Ina K.","family":"Schieferdecker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,28]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Abdelkarim, M., ElAdawi, R.: TCP-Net++: test case prioritization using end-to-end deep neural networks - deployment analysis and enhancements. In: 2023 IEEE International Conference on Artificial Intelligence Testing (AITest), Athens, Greece, pp. 99\u2013106. IEEE (2023). https:\/\/doi.org\/10.1109\/AITest58265.2023.00024. https:\/\/ieeexplore.ieee.org\/document\/10229439\/","DOI":"10.1109\/AITest58265.2023.00024"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abran, A., Cuadrado, J.J., Garc\u00eda-Barriocanal, E., Mendes, O., S\u00e1nchez-Alonso, S., Sicilia, M.A.: Engineering the ontology for the SWEBOK: issues and techniques. In: Ontologies for Software Engineering and Software Technology, pp. 103\u2013121 (2006)","DOI":"10.1007\/3-540-34518-3_3"},{"key":"1_CR3","unstructured":"Almeida, J.P.A., Guizzardi, G., Falbo, R., Sales, T.P.: gUFO: a lightweight implementation of the unified foundational ontology (UFO) (2019). http:\/\/purl.org\/nemo\/doc\/gufo"},{"key":"1_CR4","unstructured":"Barbosa, E.F., Nakagawa, E.Y., Maldonado, J.C.: Towards the establishment of an ontology of software testing. In: SEKE, vol.\u00a06, pp. 522\u2013525 (2006)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-319-49004-5_34","volume-title":"Knowledge Engineering and Knowledge Management","author":"F Borges Ruy","year":"2016","unstructured":"Borges Ruy, F., de Almeida Falbo, R., Perini Barcellos, M., Dornelas Costa, S., Guizzardi, G.: SEON: a software engineering ontology network. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds.) EKAW 2016. LNCS (LNAI), vol. 10024, pp. 527\u2013542. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49004-5_34"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Caglar, O., Taskin, F., Baglum, C., Asik, S., Yayan, U.: Development of cloud and artificial intelligence based software testing platform (ChArIoT). In: 2023 Innovations in Intelligent Systems and Applications Conference (ASYU), Sivas, Turkiye, pp.\u00a01\u20136. IEEE (2023). https:\/\/doi.org\/10.1109\/ASYU58738.2023.10296551. https:\/\/ieeexplore.ieee.org\/document\/10296551\/","DOI":"10.1109\/ASYU58738.2023.10296551"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Calero, C., Ruiz, F., Piattini, M.: Ontologies for software engineering and software technology. Springer (2006)","DOI":"10.1007\/3-540-34518-3"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Calvano, M., Curci, A., Lanzilotti, R., Piccinno, A., Ragone, A.: Leveraging large language models for usability testing: a preliminary study. In: Companion Proceedings of the 30th International Conference on Intelligent User Interfaces, Cagliari, Italy, pp. 78\u201381. ACM (2025). https:\/\/doi.org\/10.1145\/3708557.3716341. https:\/\/dl.acm.org\/doi\/10.1145\/3708557.3716341","DOI":"10.1145\/3708557.3716341"},{"key":"1_CR9","unstructured":"CC: CC BY-SA 4.0 license, attribution-sharealike 4.0 international, legal code (2025). https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/legalcode.en"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Confido, A., Ntagiou, E.V., Wallum, M.: Reinforcing penetration testing using AI. In: 2022 IEEE Aerospace Conference (AERO), Big Sky, MT, USA, pp. 1\u201315. IEEE (2022). https:\/\/doi.org\/10.1109\/AERO53065.2022.9843459. https:\/\/ieeexplore.ieee.org\/document\/9843459\/","DOI":"10.1109\/AERO53065.2022.9843459"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"De\u00a0Almeida, A., Collins, E., Oran, A.C.: AI in service of software quality: how ChatGPT and personas are transforming exploratory testing. In: Proceedings of the XXIII Brazilian Symposium on Software Quality, Salvador, Bahia, Brazil, pp. 179\u2013188. ACM (2024). https:\/\/doi.org\/10.1145\/3701625.3701657. https:\/\/dl.acm.org\/doi\/10.1145\/3701625.3701657","DOI":"10.1145\/3701625.3701657"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"De\u00a0Santiago\u00a0J\u00fanior, V.A.: A method and experiment to evaluate deep neural networks as test oracles for scientific software. In: Proceedings of the 3rd ACM\/IEEE International Conference on Automation of Software Test, Pittsburgh, Pennsylvania, pp. 40\u201351. ACM (2022). https:\/\/doi.org\/10.1145\/3524481.3527232. https:\/\/dl.acm.org\/doi\/10.1145\/3524481.3527232","DOI":"10.1145\/3524481.3527232"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Djajadi, N., Deljouyi, A., Zaidman, A.: Using large language models to generate concise and understandable test case summaries. In: Early Research Achievements (ERA). https:\/\/doi.org\/10.1109\/ICPC66645.2025.00040. https:\/\/azaidman.github.io\/publications\/djajadiICPC2025.pdf","DOI":"10.1109\/ICPC66645.2025.00040"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1269","DOI":"10.1007\/s11219-016-9322-x","volume":"25","author":"E Engstr\u00f6m","year":"2017","unstructured":"Engstr\u00f6m, E., Petersen, K., Ali, N.B., Bjarnason, E.: SERP-test: a taxonomy for supporting industry-academia communication. Softw. Qual. J. 25, 1269\u20131305 (2017)","journal-title":"Softw. Qual. J."},{"issue":"5","key":"1_CR15","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(5), 559\u2013568 (2014). https:\/\/doi.org\/10.1007\/s10009-014-0332-3","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"2","key":"1_CR16","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. Test. Verif. Reliab. 26(2), 119\u2013148 (2016)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Ferreira, M., Viegas, L., Faria, J.P., Lima, B.: Acceptance Test Generation with Large Language Models: An Industrial Case Study (2025). https:\/\/doi.org\/10.48550\/arXiv.2504.07244. http:\/\/arxiv.org\/abs\/2504.07244. arXiv:2504.07244","DOI":"10.48550\/arXiv.2504.07244"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Franzosi, D.B., Al\u00e9groth, E., Isaac, M.: LLM-based labelling of recorded automated GUI-based test cases. In: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST), Napoli, Italy, pp. 453\u2013463. IEEE (2025). https:\/\/doi.org\/10.1109\/ICST62969.2025.10988984. https:\/\/ieeexplore.ieee.org\/document\/10988984\/","DOI":"10.1109\/ICST62969.2025.10988984"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Gamal, A., Emad, R., Mohamed, T., Mohamed, O., Hamdy, A., Ali, S.: Owl eye: an AI-driven visual testing tool. In: 2023 5th Novel Intelligent and Leading Emerging Sciences Conference (NILES), Giza, Egypt, pp. 312\u2013315. IEEE (2023). https:\/\/doi.org\/10.1109\/NILES59815.2023.10296575. https:\/\/ieeexplore.ieee.org\/document\/10296575\/","DOI":"10.1109\/NILES59815.2023.10296575"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Gao, H., Yang, Y., Sun, M., Wu, J., Zhou, Y., Xu, B.: ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs, p. 712. IEEE Computer Society (2025). https:\/\/doi.org\/10.1109\/ICSE55347.2025.00175. https:\/\/www.computer.org\/csdl\/proceedings-article\/icse\/2025\/056900a712\/251mH1NLq1y. iSSN: 1558-1225","DOI":"10.1109\/ICSE55347.2025.00175"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Gao, J., et al.: An approach to GUI test scenario generation using machine learning. In: 2022 IEEE International Conference on Artificial Intelligence Testing (AITest), Newark, CA, USA, pp. 79\u201386. IEEE (2022). https:\/\/doi.org\/10.1109\/AITest55621.2022.00020. https:\/\/ieeexplore.ieee.org\/document\/9898132\/","DOI":"10.1109\/AITest55621.2022.00020"},{"key":"1_CR22","doi-asserted-by":"publisher","unstructured":"Garg, A., Sharma, D.: Generative AI for software test modelling with a focus on ERP software. In: 2023 International Conference on Advances in Computation, Communication and Information Technology (ICAICCIT), Faridabad, India, pp. 187\u2013193. IEEE (2023). https:\/\/doi.org\/10.1109\/ICAICCIT60255.2023.10466102. https:\/\/ieeexplore.ieee.org\/document\/10466102\/","DOI":"10.1109\/ICAICCIT60255.2023.10466102"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Garlapati, A., Satya Sai Muni\u00a0Parmesh, M.N.V., Savitha, S, J.: AI-powered multi-agent framework for automated unit test case generation: enhancing software quality through LLM\u2019s. In: 2024 5th IEEE Global Conference for Advancement in Technology (GCAT), Bangalore, India, pp.\u00a01\u20135. IEEE (2024). https:\/\/doi.org\/10.1109\/GCAT62922.2024.10923987. https:\/\/ieeexplore.ieee.org\/document\/10923987\/","DOI":"10.1109\/GCAT62922.2024.10923987"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Ghimis, B., Paduraru, M., Stefanescu, A.: RIVER 2.0: an open-source testing framework using AI techniques. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Languages and Tools for Next-Generation Testing, Virtual USA, pp. 13\u201318. ACM (2020). https:\/\/doi.org\/10.1145\/3416504.3424335. https:\/\/dl.acm.org\/doi\/10.1145\/3416504.3424335","DOI":"10.1145\/3416504.3424335"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-030-00847-5_12","volume-title":"Conceptual Modeling","author":"G Guizzardi","year":"2018","unstructured":"Guizzardi, G., Fonseca, C.M., Benevides, A.B., Almeida, J.P.A., Porello, D., Sales, T.P.: Endurant types in ontology-driven conceptual modeling: towards OntoUML 2.0. In: Trujillo, J.C., et al. (eds.) ER 2018. LNCS, vol. 11157, pp. 136\u2013150. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00847-5_12"},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"Hagar, J., Wissink, T.: AIs understanding of software test architecture. In: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Naples, Italy, pp. 194\u2013199. IEEE (2025). https:\/\/doi.org\/10.1109\/ICSTW64639.2025.10962517. https:\/\/ieeexplore.ieee.org\/document\/10962517\/","DOI":"10.1109\/ICSTW64639.2025.10962517"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Haldar, S., Pierce, M., Capretz, L.F.: WIP: assessing the effectiveness of ChatGPT in preparatory testing activities. In: 2024 IEEE Frontiers in Education Conference (FIE), Washington, DC, USA, pp.\u00a01\u20135. IEEE (2024). https:\/\/doi.org\/10.1109\/FIE61694.2024.10893214. https:\/\/ieeexplore.ieee.org\/document\/10893214\/","DOI":"10.1109\/FIE61694.2024.10893214"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Happe, A., Cito, J.: Getting pwn\u2019d by AI: penetration testing with large language models. In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, pp. 2082\u20132086. ACM (2023). https:\/\/doi.org\/10.1145\/3611643.3613083. https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613083","DOI":"10.1145\/3611643.3613083"},{"key":"1_CR29","doi-asserted-by":"publisher","unstructured":"Helmy, M., Sobhy, O., ElHusseiny, F.: AI-driven testing: unleashing autonomous systems for superior software quality using generative AI. In: 2024 International Telecommunications Conference (ITC-Egypt), Cairo, Egypt, pp.\u00a01\u20136. IEEE (2024). https:\/\/doi.org\/10.1109\/ITC-Egypt61547.2024.10620598. https:\/\/ieeexplore.ieee.org\/document\/10620598\/","DOI":"10.1109\/ITC-Egypt61547.2024.10620598"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Hossain, S.B., Dwyer, M.: TOGLL: Correct and Strong Test Oracle Generation with LLMs (2024). https:\/\/doi.org\/10.48550\/arXiv.2405.03786. http:\/\/arxiv.org\/abs\/2405.03786. arXiv:2405.03786","DOI":"10.48550\/arXiv.2405.03786"},{"key":"1_CR31","unstructured":"ISO, IEC, IEEE: ISO\/IEC\/IEEE 24765 international standard, second edition: Systems and software engineering \u2013 vocabulary (2017). https:\/\/pascal.computer.org"},{"key":"1_CR32","unstructured":"ISTQB: Glossary of the international software testing qualifications board (2025). https:\/\/glossary.istqb.org"},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"Kapoor, S.: AI-assisted test script generation for GUI applications. In: 2025 Fifth International Conference on Advances in Electrical, Computing, Communication and Sustainable Technologies (ICAECT), Bhilai, India, pp.\u00a01\u20135. IEEE (2025). https:\/\/doi.org\/10.1109\/ICAECT63952.2025.10958949. https:\/\/ieeexplore.ieee.org\/document\/10958949\/","DOI":"10.1109\/ICAECT63952.2025.10958949"},{"key":"1_CR34","doi-asserted-by":"publisher","unstructured":"Kaur, A.: An approach to extract optimal test cases using AI. In: 2020 10th International Conference on Cloud Computing, Data Science & Engineering (Confluence), Noida, India, pp. 649\u2013654. IEEE (2020). https:\/\/doi.org\/10.1109\/Confluence47617.2020.9058244. https:\/\/ieeexplore.ieee.org\/document\/9058244\/","DOI":"10.1109\/Confluence47617.2020.9058244"},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Leu, B., Volken, J., Kropp, M., Dogru, N., Anslow, C., Biddle, R.: Reducing workload in using AI-based API REST test generation. In: Proceedings of the 5th ACM\/IEEE International Conference on Automation of Software Test (AST 2024), Lisbon, Portugal, pp. 147\u2013148. ACM (2024). https:\/\/doi.org\/10.1145\/3644032.3644449. https:\/\/dl.acm.org\/doi\/10.1145\/3644032.3644449","DOI":"10.1145\/3644032.3644449"},{"key":"1_CR36","doi-asserted-by":"publisher","unstructured":"Maia, C.J.D.L., Aguiar, Y.P.C.: AI-driven acceptance testing: first insights exploring the educational potential for test analysts. In: Proceedings of the XXIII Brazilian Symposium on Software Quality, Salvador, Bahia, Brazil, pp. 665\u2013672. ACM (2024). https:\/\/doi.org\/10.1145\/3701625.3701691. https:\/\/dl.acm.org\/doi\/10.1145\/3701625.3701691","DOI":"10.1145\/3701625.3701691"},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"Martin-Lopez, A.: AI-driven web API testing. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, Seoul, South Korea, pp. 202\u2013205. ACM (2020). https:\/\/doi.org\/10.1145\/3377812.3381388. https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3381388","DOI":"10.1145\/3377812.3381388"},{"key":"1_CR38","unstructured":"McGuinness, D.L., Van\u00a0Harmelen, F., et\u00a0al.: Owl web ontology language overview. W3C Recomm. 10(10), 2004 (2004)"},{"key":"1_CR39","doi-asserted-by":"publisher","unstructured":"Mohacsi, S., Felderer, M.: AI-based enhancement of test models in an industrial model-based testing tool. In: 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Honolulu, HI, USA, pp. 636\u2013638. IEEE (2021). https:\/\/doi.org\/10.1109\/SANER50967.2021.00080. https:\/\/ieeexplore.ieee.org\/document\/9426031\/","DOI":"10.1109\/SANER50967.2021.00080"},{"key":"1_CR40","doi-asserted-by":"publisher","unstructured":"Naimi, L., Bouziane, E.M., Manaouch, M., Jakimi, A.: A new approach for automatic test case generation from use case diagram using LLMs and prompt engineering. In: 2024 International Conference on Circuit, Systems and Communication (ICCSC), Fes, Morocco, pp.\u00a01\u20135. IEEE (2024). https:\/\/doi.org\/10.1109\/ICCSC62074.2024.10616548. https:\/\/ieeexplore.ieee.org\/document\/10616548\/","DOI":"10.1109\/ICCSC62074.2024.10616548"},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"Olmez, M.M., Gehringer, E.: Automation of test skeletons within test-driven development projects. In: 2024 36th International Conference on Software Engineering Education and Training (CSEE &T), W\u00fcrzburg, Germany, pp. 1\u201310. IEEE (2024). https:\/\/doi.org\/10.1109\/CSEET62301.2024.10663016. https:\/\/ieeexplore.ieee.org\/document\/10663016\/","DOI":"10.1109\/CSEET62301.2024.10663016"},{"key":"1_CR42","doi-asserted-by":"publisher","unstructured":"Peixoto, M., Ba\u00eda, D., Nascimento, N., Alencar, P., Fonseca, B., Ribeiro, M.: On the effectiveness of LLMs for manual test verifications. In: 2025 IEEE\/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning (DeepTest), Ottawa, ON, Canada, pp. 45\u201352. IEEE (2025). https:\/\/doi.org\/10.1109\/DeepTest66595.2025.00012. https:\/\/ieeexplore.ieee.org\/document\/11026915\/","DOI":"10.1109\/DeepTest66595.2025.00012"},{"key":"1_CR43","doi-asserted-by":"publisher","unstructured":"Prasetya, I.S.W.B., Shirzadehhajimahmood, S., Ansari, S.G., Fernandes, P., Prada, R.: An agent-based architecture for AI-enhanced automated testing for XR systems, a short paper. In: 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Porto de Galinhas, Brazil, pp. 213\u2013217. IEEE (2021). https:\/\/doi.org\/10.1109\/ICSTW52544.2021.00044. https:\/\/ieeexplore.ieee.org\/document\/9440175\/","DOI":"10.1109\/ICSTW52544.2021.00044"},{"key":"1_CR44","doi-asserted-by":"publisher","unstructured":"Primbs, S., Fein, B., Fraser, G.: AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model (2025). https:\/\/doi.org\/10.1109\/AST66626.2025.00008. http:\/\/arxiv.org\/abs\/2502.02708. arXiv:2502.02708","DOI":"10.1109\/AST66626.2025.00008"},{"key":"1_CR45","doi-asserted-by":"publisher","unstructured":"Ragel, R.K.C., Balahadia, F.F.: Visual test framework: enhancing software test automation with visual artificial intelligence and behavioral driven development. In: 2023 IEEE 15th International Conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment, and Management (HNICEM), Coron, Palawan, Philippines, pp.\u00a01\u20135. IEEE (2023). https:\/\/doi.org\/10.1109\/HNICEM60674.2023.10589222. https:\/\/ieeexplore.ieee.org\/document\/10589222\/","DOI":"10.1109\/HNICEM60674.2023.10589222"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Robinson, P., Ragusa, C.: Taxonomy and requirements rationalization for infrastructure in cloud-based software testing. In: 2011 IEEE Third International Conference on Cloud Computing Technology and Science, pp. 454\u2013461. IEEE (2011)","DOI":"10.1109\/CloudCom.2011.67"},{"issue":"11","key":"1_CR47","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/2366316.2366320","volume":"55","author":"B Rous","year":"2012","unstructured":"Rous, B.: Major update to ACM\u2019s computing classification system. Commun. ACM 55(11), 12 (2012)","journal-title":"Commun. ACM"},{"issue":"3","key":"1_CR48","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1162\/dint_a_00055","volume":"2","author":"AA Salatino","year":"2020","unstructured":"Salatino, A.A., Thanapalasingam, T., Mannocci, A., Birukou, A., Osborne, F., Motta, E.: The computer science ontology: a comprehensive automatically-generated taxonomy of research areas. Data Intell. 2(3), 379\u2013416 (2020)","journal-title":"Data Intell."},{"key":"1_CR49","unstructured":"Schieferdecker, I.K.: Next-gen software engineering: AI-assisted big models. arXiv preprint arXiv:2409.18048 (2024)"},{"key":"1_CR50","unstructured":"Schieferdecker, I.K.: AI4SE - the AI for software engineering ontology (2025). https:\/\/github.com\/schieferdecker\/ai4se"},{"key":"1_CR51","unstructured":"Schieferdecker, I.K.: AI4ST - the AI for software testing ontology (2025). https:\/\/github.com\/schieferdecker\/ai4st"},{"key":"1_CR52","unstructured":"Schieferdecker, I.K.: Annex for \u2019a taxonomy for AI-augmented software testing\u2019 (2025). https:\/\/github.com\/schieferdecker\/ai4stpaper"},{"key":"1_CR53","unstructured":"Schieferdecker, I.K.: STC - the software testing concept ontology (2025). https:\/\/github.com\/schieferdecker\/stc"},{"key":"1_CR54","doi-asserted-by":"publisher","unstructured":"Shirzadehhajimahmood, S., Prasetya, I.S.W.B., Dignum, F., Dastani, M., Keller, G.: Using an agent-based approach for robust automated testing of computer games. In: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation, Athens Greece, pp.\u00a01\u20138. ACM (2021). https:\/\/doi.org\/10.1145\/3472672.3473952. https:\/\/dl.acm.org\/doi\/10.1145\/3472672.3473952","DOI":"10.1145\/3472672.3473952"},{"key":"1_CR55","unstructured":"Sicilia, M., Cuadrado, J.J., Garc\u00eda, E., Rodr\u00edguez, D., Hilera, J.R.: The evaluation of ontological representation of the SWEBOK as a revision tool. In: 29th Annual International Computer Software and Application Conference (COMPSAC), Edinburgh, UK, pp. 26\u201328 (2005)"},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"Souza, \u00c9.F.d., Falbo, R.d.A., Vijaykumar, N.L.: ROoST: reference ontology on software testing. Appl. Ontol. 12(1), 59\u201390 (2017)","DOI":"10.3233\/AO-170177"},{"key":"1_CR57","unstructured":"Spillner, A., Bremenn, H.: The W-MODEL. Strengthening the bond between development and test. In: International Conference on Software Testing, Analysis and Review, pp. 15\u201317 (2002)"},{"key":"1_CR58","unstructured":"Spillner, A., Linz, T.: Software testing foundations: a study guide for the certified tester exam-foundation level-ISTQB\u00ae compliant. dpunkt. verlag (2021)"},{"key":"1_CR59","unstructured":"Stapic, Z., L\u00f3pez, E.G., Cabot, A.G., de\u00a0Marcos\u00a0Ortega, L., Strahonja, V.: Performing systematic literature review in software engineering. In: Central European Conference on Information and Intelligent Systems, p.\u00a0441. Faculty of Organization and Informatics Varazdin (2012)"},{"key":"1_CR60","doi-asserted-by":"publisher","unstructured":"Strandberg, P.E., Frasheri, M., Enoiu, E.P.: Ethical AI-powered regression test selection. In: 2021 IEEE International Conference on Artificial Intelligence Testing (AITest), Oxford, United Kingdom, pp. 83\u201384. IEEE (2021). https:\/\/doi.org\/10.1109\/AITEST52744.2021.00025. https:\/\/ieeexplore.ieee.org\/document\/9564367\/","DOI":"10.1109\/AITEST52744.2021.00025"},{"key":"1_CR61","unstructured":"Tebes, G., Olsina, L., Peppino, D., Becker, P.: TestTDO: a top-domain software testing ontology. In: CIbSE, pp. 364\u2013377 (2020)"},{"key":"1_CR62","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106298","volume":"123","author":"G Tebes","year":"2020","unstructured":"Tebes, G., Peppino, D., Becker, P., Matturro, G., Solari, M., Olsina, L.: Analyzing and documenting the systematic review results of software testing ontologies. Inf. Softw. Technol. 123, 106298 (2020)","journal-title":"Inf. Softw. Technol."},{"key":"1_CR63","doi-asserted-by":"publisher","unstructured":"Usman, M., Britto, R., B\u00f6rstler, J., Mendes, E.: Taxonomies in software engineering: a systematic mapping study and a revised taxonomy development method. Inf. Softw. Technol. 85, 43\u201359 (2017) https:\/\/doi.org\/10.1016\/j.infsof.2017.01.006. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584917300472","DOI":"10.1016\/j.infsof.2017.01.006"},{"issue":"5","key":"1_CR64","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. Test. Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR65","doi-asserted-by":"publisher","unstructured":"Villal\u00f3n, J.C.M., Agustin, G.C., Gilabert, T.S.F., de\u00a0Jes\u00fas Jim\u00e9nez\u00a0Puello, J.: A taxonomy for software testing projects. In: 2015 10th Iberian Conference on Information Systems and Technologies (CISTI), pp.\u00a01\u20136 (2015). https:\/\/doi.org\/10.1109\/CISTI.2015.7170545","DOI":"10.1109\/CISTI.2015.7170545"},{"key":"1_CR66","doi-asserted-by":"publisher","unstructured":"Wang, H., Xu, T., Wang, B.: Deep multiple assertions generation. In: Proceedings of the 2024 IEEE\/ACM First International Conference on AI Foundation Models and Software Engineering, Lisbon, Portugal, pp. 1\u201311. ACM (2024). https:\/\/doi.org\/10.1145\/3650105.3652293. https:\/\/dl.acm.org\/doi\/10.1145\/3650105.3652293","DOI":"10.1145\/3650105.3652293"},{"key":"1_CR67","unstructured":"Washizaki, H.E.: Guide to the Software Engineering Body of Knowledge (SWEBOK Guide), Version 4.0 (2024). http:\/\/www.swebok.org"},{"key":"1_CR68","unstructured":"Wille, C., Abran, A., Desharnais, J.M., Dumke, R.: The quality concepts and sub concepts in SWEBOK: an ontology challenge. In: International Workshop on Software Measurement (IWSM), Montreal, vol.\u00a018 (2003)"},{"key":"1_CR69","doi-asserted-by":"publisher","unstructured":"Yao, Y., et al.: BugBlitz-AI: an intelligent QA assistant. In: 2024 IEEE 15th International Conference on Software Engineering and Service Science (ICSESS), Changsha, China, pp. 57\u201363. IEEE (2024). https:\/\/doi.org\/10.1109\/ICSESS62520.2024.10719045. https:\/\/ieeexplore.ieee.org\/document\/10719045\/","DOI":"10.1109\/ICSESS62520.2024.10719045"},{"key":"1_CR70","doi-asserted-by":"publisher","unstructured":"Zhang, Y.: New approaches to automated software testing based on artificial intelligence. In: 2024 5th International Conference on Artificial Intelligence and Computer Engineering (ICAICE), Wuhu, China, pp. 806\u2013810. IEEE (2024). https:\/\/doi.org\/10.1109\/ICAICE63571.2024.10863866. https:\/\/ieeexplore.ieee.org\/document\/10863866\/","DOI":"10.1109\/ICAICE63571.2024.10863866"},{"key":"1_CR71","doi-asserted-by":"crossref","unstructured":"Zhu, H., Huo, Q.: Developing software testing ontology in UML for a software growth environment of web-based applications. In: Software Evolution with UML and XML, pp. 263\u2013295. IGI Global (2005)","DOI":"10.4018\/978-1-59140-462-0.ch009"},{"key":"1_CR72","doi-asserted-by":"publisher","unstructured":"Zimmermann, D., Koziolek, A.: GUI-based software testing: an automated approach using GPT-4 and selenium WebDriver. In: 2023 38th IEEE\/ACM International Conference on Automated Software Engineering Workshops (ASEW), Luxembourg, Luxembourg, pp. 171\u2013174. IEEE (2023). https:\/\/doi.org\/10.1109\/ASEW60602.2023.00028. https:\/\/ieeexplore.ieee.org\/document\/10298721\/","DOI":"10.1109\/ASEW60602.2023.00028"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00942-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:40:20Z","timestamp":1757479220000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00942-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,28]]},"ISBN":["9783032009418","9783032009425"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00942-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,28]]},"assertion":[{"value":"28 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aarhus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","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":"27 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/FMICS2025.uni-muenster.de","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}