{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:29:11Z","timestamp":1757618951796,"version":"3.44.0"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032041890"},{"type":"electronic","value":"9783032041906"}],"license":[{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"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-04190-6_13","type":"book-chapter","created":{"date-parts":[[2025,9,7]],"date-time":"2025-09-07T13:24:43Z","timestamp":1757251483000},"page":"201-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Systematic Approach to\u00a0Fault Injection Test Case Generation in\u00a0Practice"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-1959-7803","authenticated-orcid":false,"given":"Tiziano","family":"Munaro","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6643-9118","authenticated-orcid":false,"given":"Matko","family":"Turalija","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8102-3293","authenticated-orcid":false,"given":"Simon","family":"Barner","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0801-0053","authenticated-orcid":false,"given":"Marko","family":"Halak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","unstructured":"Abdessalem, R.B., Panichella, A., Nejati, S., Briand, L.C., Stifter, T.: Testing autonomous cars for feature interaction failures using many-objective search. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, pp. 143\u2013154. ACM (2018). https:\/\/doi.org\/10.1145\/3238147.3238192","DOI":"10.1145\/3238147.3238192"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"AS-2C Architecture Analysis and Design Language: SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex (2015). https:\/\/doi.org\/10.4271\/AS5506\/1A","DOI":"10.4271\/AS5506\/1A"},{"key":"13_CR3","unstructured":"AUTOSAR: E2E Protocol Specification (2024). https:\/\/www.autosar.org\/fileadmin\/standards\/R24-11\/FO\/AUTOSAR_FO_PRS_E2EProtocol.pdf"},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Mariani, L., Ni\u010dkovi\u0107, D., Yadav, D.: Property-based mutation testing. In: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 222\u2013233. IEEE (2023). https:\/\/doi.org\/10.1109\/ICST57152.2023.00029","DOI":"10.1109\/ICST57152.2023.00029"},{"key":"13_CR5","unstructured":"Basili, V.R., Caldiera, G., Rombach, H.D.: Goal Question Metric Approach, vol.\u00a01, pp. 528\u2013532. Wiley (1994)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Benkendorf, N., Ganahl, C., Munaro, T.: An ISO 26262-derived evaluation methodology for automated fault injection test case generators. In: 2025 IEEE Intelligent Vehicles Symposium (IV). IEEE (2025, in press)","DOI":"10.1109\/IV64158.2025.11097525"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"89497","DOI":"10.1109\/ACCESS.2020.2990567","volume":"8","author":"J Blank","year":"2020","unstructured":"Blank, J., Deb, K.: Pymoo: multi-objective optimization in python. IEEE Access 8, 89497\u201389509 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2990567","journal-title":"IEEE Access"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-319-08302-5_16","volume-title":"Smart Card Research and Advanced Applications","author":"RB Carpi","year":"2014","unstructured":"Carpi, R.B., Picek, S., Batina, L., Menarini, F., Jakobovic, D., Golub, M.: Glitch it if you can: parameter search strategies for successful fault injection. In: Francillon, A., Rohatgi, P. (eds.) CARDIS 2013. LNCS, vol. 8419, pp. 236\u2013252. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08302-5_16"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6, 182\u2013197 (2002). https:\/\/doi.org\/10.1109\/4235.996017","journal-title":"IEEE Trans. Evol. Comput."},{"key":"13_CR10","unstructured":"dSPACE GmbH: Sichere Legenden - Entwicklung und Absicherung von Regelsystemen f\u00fcr Hochleistungsaufgaben in ultimativen Supersportwagen. dSPACE Magazin, pp. 18\u201323 (2021). https:\/\/www.dspace.com\/shared\/data\/pdf\/2021\/dSPACE-Magazin-2021-01_Bugatti_210507_D.pdf"},{"key":"13_CR11","unstructured":"dSPACE GmbH: SIL f\u00fcr eine fr\u00fche Validierung - Stellantis\/FCA beschleunigt Software-Tests mit agilen Prozessen und Virtualisierung. dSPACE Magazin, pp. 30\u201335 (2021). https:\/\/www.dspace.com\/shared\/data\/pdf\/2021\/dSPACE-Magazin-2021-01_FCA_Stellantis_210507_D.pdf"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Gonz\u00e1lez, C.A., Varmazyar, M., Nejati, S., Briand, L.C., Isasi, Y.: Enabling model testing of cyber-physical systems. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS 2018, pp. 176\u2013186. ACM Press, New York (2018). https:\/\/doi.org\/10.1145\/3239372.3239409","DOI":"10.1145\/3239372.3239409"},{"key":"13_CR13","doi-asserted-by":"publisher","unstructured":"Hauer, F., Pretschner, A., Holzmuller, B.: Re-using concrete test scenarios generally is a bad idea. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp. 1305\u20131310. IEEE (2020). https:\/\/doi.org\/10.1109\/IV47402.2020.9304678","DOI":"10.1109\/IV47402.2020.9304678"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-030-26601-1_5","volume-title":"Computer Safety, Reliability, and Security","author":"F Hauer","year":"2019","unstructured":"Hauer, F., Pretschner, A., Holzm\u00fcller, B.: Fitness functions for testing automated and autonomous driving systems. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 69\u201384. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26601-1_5"},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Hellhake, D., Schmid, T., Wagner, S.: Using data flow-based coverage criteria for black-box integration testing of distributed software systems. In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), pp. 420\u2013429. IEEE (2019). https:\/\/doi.org\/10.1109\/ICST.2019.00051","DOI":"10.1109\/ICST.2019.00051"},{"key":"13_CR16","doi-asserted-by":"publisher","unstructured":"Hort, M., Sarro, F.: The effect of offspring population size on NSGA-II. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, pp. 179\u2013180. ACM (2021). https:\/\/doi.org\/10.1145\/3449726.3459479","DOI":"10.1145\/3449726.3459479"},{"key":"13_CR17","unstructured":"International Organization for Standardization: ISO 26262-10:2018 - Road Vehicles - Functional Safety - Part 10: Guidelines on ISO\u00a026262 (2018)"},{"key":"13_CR18","unstructured":"International Organization for Standardization: ISO 26262-1:2018 - Road Vehicles - Functional Safety - Part 1: Vocabulary (2018)"},{"key":"13_CR19","unstructured":"International Organization for Standardization: ISO 26262-4:2018 - Road Vehicles - Functional Safety - Part 4: Product development at the system level (2018)"},{"key":"13_CR20","unstructured":"International Organization for Standardization: ISO 26262-5:2018 - Road Vehicles - Functional Safety - Part 5: Product development at the hardware level (2018)"},{"key":"13_CR21","unstructured":"International Organization for Standardization: ISO 26262-6:2018 - Road Vehicles - Functional Safety - Part 5: Product development at the software level (2018)"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10664-010-9146-4","volume":"16","author":"M Ivarsson","year":"2011","unstructured":"Ivarsson, M., Gorschek, T.: A method for evaluating rigor and industrial relevance of technology evaluations. Empir. Softw. Eng. 16, 365\u2013395 (2011). https:\/\/doi.org\/10.1007\/s10664-010-9146-4","journal-title":"Empir. Softw. Eng."},{"key":"13_CR23","doi-asserted-by":"publisher","unstructured":"Jha, S., et al.: ML-based fault injection for autonomous vehicles: a case for bayesian fault injection. In: 2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 112\u2013124 (2019). https:\/\/doi.org\/10.1109\/DSN.2019.00025","DOI":"10.1109\/DSN.2019.00025"},{"key":"13_CR24","doi-asserted-by":"publisher","unstructured":"Khosrowjerdi, H., Meinke, K.: Learning-based testing for autonomous systems using spatial and temporal requirements. In: Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis - MASES 2018, pp. 6\u201315. ACM Press, New York (2018). https:\/\/doi.org\/10.1145\/3243127.3243129","DOI":"10.1145\/3243127.3243129"},{"key":"13_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2021.100387","volume":"40","author":"R Leszczyna","year":"2021","unstructured":"Leszczyna, R.: Aiming at methods\u2019 wider adoption: applicability determinants and metrics. Comput. Sci. Rev. 40, 100387 (2021). https:\/\/doi.org\/10.1016\/j.cosrev.2021.100387","journal-title":"Comput. Sci. Rev."},{"key":"13_CR26","unstructured":"Leveson, N., Thomas, J.P.: STPA Handbook (2018). https:\/\/psas.scripts.mit.edu\/home\/get_file.php?name=STPA_Handbook.pdf"},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF00127447","volume":"1","author":"CM Lott","year":"1996","unstructured":"Lott, C.M., Rombach, H.D.: Repeatable software engineering experiments for comparing defect-detection techniques. Empir. Softw. Eng. 1, 241\u2013277 (1996). https:\/\/doi.org\/10.1007\/BF00127447","journal-title":"Empir. Softw. Eng."},{"key":"13_CR28","doi-asserted-by":"publisher","unstructured":"Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Effective test suites for mixed discrete-continuous stateflow controllers. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 84\u201395. ACM (2015). https:\/\/doi.org\/10.1145\/2786805.2786818","DOI":"10.1145\/2786805.2786818"},{"issue":"9","key":"13_CR29","doi-asserted-by":"publisher","first-page":"919","DOI":"10.1109\/TSE.2018.2811489","volume":"45","author":"R Matinnejad","year":"2019","unstructured":"Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Test generation and test prioritization for simulink models with dynamic behavior. IEEE Trans. Software Eng. 45(9), 919\u2013944 (2019). https:\/\/doi.org\/10.1109\/TSE.2018.2811489","journal-title":"IEEE Trans. Software Eng."},{"key":"13_CR30","doi-asserted-by":"publisher","unstructured":"Menzel, T., Bagschik, G., Maurer, M.: Scenarios for development, test and validation of automated vehicles. In: 2018 IEEE Intelligent Vehicles Symposium (IV), pp. 1821\u20131827. IEEE (2018). https:\/\/doi.org\/10.1109\/IVS.2018.8500406","DOI":"10.1109\/IVS.2018.8500406"},{"key":"13_CR31","unstructured":"Moradi, M., Gomes, C., Oakes, B.J., Denil, J.: Optimizing fault injection in FMI co-simulation through sensitivity partitioning. In: SummerSim 2019: Proceedings of the 2019 Summer Simulation Conference, pp. 1\u201312 (2019)"},{"key":"13_CR32","doi-asserted-by":"publisher","unstructured":"Munaro, T., Muntean, I., Pretschner, A.: A failure model library for simulation-based validation of functional safety. In: Ceccarelli, A., Trapp, M., Bondavalli, A., Bitsch, F. (eds.) SAFECOMP 2024. LNCS, vol. 14988, pp. 18\u201332. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-68606-1_2","DOI":"10.1007\/978-3-031-68606-1_2"},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-10557-4_13","volume-title":"Computer Safety, Reliability, and Security","author":"M Oertel","year":"2014","unstructured":"Oertel, M., Kacimi, O., B\u00f6de, E.: Proving compliance of implementation models to safety specifications. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds.) SAFECOMP 2014. LNCS, vol. 8696, pp. 97\u2013107. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10557-4_13"},{"key":"13_CR34","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14, 131\u2013164 (2009). https:\/\/doi.org\/10.1007\/s10664-008-9102-8","journal-title":"Empir. Softw. Eng."},{"key":"13_CR35","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.ifacol.2019.08.077","volume":"52","author":"M Saraoglu","year":"2019","unstructured":"Saraoglu, M., Morozov, A., Janschek, K.: MOBATSim: MOdel-based autonomous traffic simulation framework for fault-error-failure chain analysis. IFAC-PapersOnLine 52, 239\u2013244 (2019). https:\/\/doi.org\/10.1016\/j.ifacol.2019.08.077","journal-title":"IFAC-PapersOnLine"},{"key":"13_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-10506-2_2","volume-title":"Computer Safety, Reliability, and Security","author":"H Schirmeier","year":"2014","unstructured":"Schirmeier, H., Borchert, C., Spinczyk, O.: Rapid fault-space exploration by evolutionary pruning. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 17\u201332. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10506-2_2"},{"key":"13_CR37","doi-asserted-by":"publisher","unstructured":"Schirmeier, H., Hoffmann, M., Dietrich, C., Lenz, M., Lohmann, D., Spinczyk, O.: FAIL*: an open and versatile fault-injection framework for the assessment of software-implemented hardware fault tolerance. In: 2015 11th European Dependable Computing Conference (EDCC), pp. 245\u2013255. IEEE (2015). https:\/\/doi.org\/10.1109\/EDCC.2015.28","DOI":"10.1109\/EDCC.2015.28"},{"key":"13_CR38","doi-asserted-by":"publisher","unstructured":"Sedaghatbaf, A., Moradi, M., Almasizadeh, J., Sangchoolie, B., Acker, B.V., Denil, J.: DELFASE: a deep learning method for fault space exploration. In: 18th European Dependable Computing Conference (EDCC 2022) (2022). https:\/\/doi.org\/10.1109\/EDCC57035.2022.00020","DOI":"10.1109\/EDCC57035.2022.00020"},{"key":"13_CR39","doi-asserted-by":"publisher","unstructured":"Sini, J., Violante, M.: An automatic approach to perform FMEDA safety assessment on hardware designs. In: 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS), pp. 49\u201352. IEEE (2018). https:\/\/doi.org\/10.1109\/IOLTS.2018.8474217","DOI":"10.1109\/IOLTS.2018.8474217"},{"key":"13_CR40","doi-asserted-by":"publisher","unstructured":"Sorokin, L., Munaro, T., Safin, D., Liao, B.H.C., Molin, A.: OpenSBT: a modular framework for search-based testing of automated driving systems. In: Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings, pp. 94\u201398. ACM (2024). https:\/\/doi.org\/10.1145\/3639478.3640027","DOI":"10.1145\/3639478.3640027"},{"key":"13_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-642-15651-9_16","volume-title":"Computer Safety, Reliability, and Security","author":"R Svenningsson","year":"2010","unstructured":"Svenningsson, R., Vinter, J., Eriksson, H., T\u00f6rngren, M.: MODIFI: a MODel-implemented fault injection tool. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 210\u2013222. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15651-9_16"},{"key":"13_CR42","doi-asserted-by":"publisher","unstructured":"Tahmasebi, K.N., Chen, D.: A fault injection tool for identifying faulty operations of control functions in automated driving systems. In: Lecture Notes in Networks and Systems, LNNS, vol. 484, pp. 340\u2013349. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06746-4_33","DOI":"10.1007\/978-3-031-06746-4_33"},{"key":"13_CR43","doi-asserted-by":"publisher","unstructured":"Uriagereka, G.J., Lattarulo, R., Rastelli, J.P., Calonge, E.A., Ruiz Lopez, A., Espinoza Ortiz, H.: Fault injection method for safety and controllability evaluation of automated driving. In: 2017 IEEE Intelligent Vehicles Symposium (IV), pp. 1867\u20131872. IEEE (2017). https:\/\/doi.org\/10.1109\/IVS.2017.7995977","DOI":"10.1109\/IVS.2017.7995977"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Advanced Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04190-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,7]],"date-time":"2025-09-07T13:24:48Z","timestamp":1757251488000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04190-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"ISBN":["9783032041890","9783032041906"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04190-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"8 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This study is based upon work supported by TTTech\u00a0Auto AG in the TeFoSa project.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"SEAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Euromicro Conference on Software Engineering and Advanced Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salerno","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"10 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"51","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"seaa-12025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dsd-seaa.com\/seaa2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}