{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T12:52:34Z","timestamp":1782910354595,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662449196","type":"print"},{"value":"9783662449202","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-44920-2_11","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T09:11:05Z","timestamp":1412068265000},"page":"164-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Testing"],"prefix":"10.1007","author":[{"given":"Rakesh","family":"Rana","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miroslaw","family":"Staron","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Berger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00f6rgen","family":"Hansson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fredrik","family":"T\u00f6rner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Broy, M.: Challenges in automotive software engineering. In: Proceedings of the 28th International Conference on Software Engineering, pp. 33\u201342 (2006)","DOI":"10.1145\/1134285.1134292"},{"issue":"3","key":"11_CR2","first-page":"3","volume":"46","author":"RN Charette","year":"2009","unstructured":"Charette, R.N.: This car runs on code. IEEE Spectr. 46(3), 3 (2009)","journal-title":"IEEE Spectr."},{"key":"11_CR3","unstructured":"Fennel, H., Bunzel, S., Heinecke, H., Bielefeld, J., F\u00fcrst, S., Schnelle, K.P., Grote, W., Maldener, N., Weber, T., Wohlgemuth, F., et al.: Achievements and exploitation of the autosar development partnership. In: Convergence 2006, October 2006"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B Boehm","year":"2001","unstructured":"Boehm, B., Basili, V.: Defect reduction top 10 list. Computer 34, 135\u2013137 (2001)","journal-title":"Computer"},{"key":"11_CR5","unstructured":"ISO, C.: 26262, road vehicles-functional safety (2011)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Melleg\u00e5rd, N., Staron, M., T\u00f6rner, F.: A light-weight defect classification scheme for embedded automotive software and its initial evaluation. In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE), pp. 261\u2013270. IEEE (2012)","DOI":"10.1109\/ISSRE.2012.15"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Hillenbrand, M., Heinz, M., Adler, N., M\u00fcller-Glaser, K.D., Matheis, J., Reichmann, C.: ISO\/DIS 26262 in the context of electric and electronic architecture modeling. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol. 6150, pp. 179\u2013192. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-13556-9_11"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-16558-0_2","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"B Sch\u00e4tz","year":"2010","unstructured":"Sch\u00e4tz, B.: Certification of embedded software \u2013 impact of ISO DIS 26262 in the automotive domain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol. 6415, p. 3. Springer, Heidelberg (2010)"},{"issue":"4","key":"11_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"M Hsueh","year":"1997","unstructured":"Hsueh, M., Tsai, T., Iyer, R.: Fault injection techniques and tools. Computer 30(4), 75\u201382 (1997)","journal-title":"Computer"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Rana, R., Staron, M., Berger, C., Hansson, J., Nilsson, M., T\u00f6rner, F.: Increasing efficiency of iso 26262 verification and validation by combining fault injection and mutation testing with model based development. In: 8th International Joint Conference on Software Technologies-ICSOFT-EA, Reykjav\u00edk, Iceland, July 2013","DOI":"10.1007\/978-3-662-44920-2_11"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Jones, E.L.: Integrating testing into the curriculumarsenic in small doses. In: ACM SIGCSE Bulletin, vol. 33, pp. 337\u2013341","DOI":"10.1145\/366413.364617"},{"issue":"4","key":"11_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF00402646","volume":"4","author":"R Megen","year":"1995","unstructured":"Megen, R., Meyerhoff, D.: Costs and benefits of early defect detection: experiences from developing client server and host applications. Software Qual. J. 4(4), 247\u2013256 (1995)","journal-title":"Software Qual. J."},{"key":"11_CR13","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)"},{"issue":"2","key":"11_CR14","first-page":"171","volume":"1","author":"H Ziade","year":"2004","unstructured":"Ziade, H., Ayoubi, R., Velazco, R., et al.: A survey on fault injection techniques. Int. Arab J. Inf. Technol. 1(2), 171\u2013186 (2004)","journal-title":"Int. Arab J. Inf. Technol."},{"issue":"5","key":"11_CR15","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Andrews, J., Briand, L., Labiche, Y.: Is mutation an appropriate tool for testing experiments? [software testing]. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 402\u2013411 (2005)","DOI":"10.1145\/1062455.1062530"},{"issue":"4","key":"11_CR17","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R DeMillo","year":"1978","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on test data selection: help for the practicing programmer. Computer 11(4), 34\u201341 (1978)","journal-title":"Computer"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/125489.125473","volume":"1","author":"A Offutt","year":"1992","unstructured":"Offutt, A.: Investigations of the software testing coupling effect. ACM Trans. Softw. Eng. Methodol. (TOSEM) 1(1), 5\u201320 (1992)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"11_CR19","unstructured":"ESAC: Enhanced safety assessment for complex systems. FP5-GROWTH contract no. G4RDCT-2000-00361"},{"key":"11_CR20","unstructured":"ISAAC: Improvement of safety activities on aeronautical complex systems. FP6-AEROSPACE project reference 501848 (2007)"},{"key":"11_CR21","unstructured":"Vinter, J., Bromander, L., Raistrick, P., Edler, H.: Fiscade - a fault injection tool for scade models. In: 2007 3rd Institution of Engineering and Technology Conference on Automotive Electronics, pp. 1\u20139 (2007)"},{"issue":"3","key":"11_CR22","first-page":"183","volume":"220","author":"A Plummer","year":"2006","unstructured":"Plummer, A.: Model-in-the-loop testing. Proc. Inst. Mech. Eng. Part I: J. Syst. Control Eng. 220(3), 183\u2013199 (2006)","journal-title":"Proc. Inst. Mech. Eng. Part I: J. Syst. Control Eng."},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-17071-3_11","volume-title":"Formal Methods for Components and Objects","author":"A Brillout","year":"2010","unstructured":"Brillout, A., He, N., Mazzucchi, M., Kroening, D., Purandare, M., R\u00fcmmer, P., Weissenbacher, G.: Mutation-based test case generation for simulink models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 208\u2013227. Springer, Heidelberg (2010)"},{"key":"11_CR24","unstructured":"Berger, C., Chaudron, M., Heldal, R., Landsiedel, O., Schiller, E.M.: Model-based, composable simulation for the development of autonomous miniature vehicles. In: Mod4Sim\u201913: 3rd International Workshop on Model-driven Approaches for Simulation Engineering at SCS\/IEEE Symposium on Theory of Modeling and Simulation in Conjunction with SpringSim 2013 (2013)"},{"key":"11_CR25","unstructured":"Berger, C., Hansson, J., et al.: Cots-architecture with a real-time os for a self-driving miniature vehicle. In: Proceedings of Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security (2013)"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44920-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T16:34:25Z","timestamp":1712075665000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44920-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662449196","9783662449202"],"references-count":25,"aliases":["10.1007\/978-3-662-45943-0_11"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44920-2_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}