{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:16:19Z","timestamp":1749701779877,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319490939"},{"type":"electronic","value":"9783319490946"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49094-6_15","type":"book-chapter","created":{"date-parts":[[2016,11,5]],"date-time":"2016-11-05T02:09:49Z","timestamp":1478311789000},"page":"233-248","source":"Crossref","is-referenced-by-count":5,"title":["An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study"],"prefix":"10.1007","author":[{"given":"Annapurna","family":"Chunduri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Feldt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikael","family":"Adenmark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,6]]},"reference":[{"key":"15_CR1","unstructured":"Adenmark, M.: Scania Test Levels, Scania Internal Document (REST08012) (2008)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Arnold, D., Corriveau, J.P., Shi, W.: Modeling and validating requirements using executable contracts and scenarios. In: Proceedings of the 8th ACIS International Conference on Software Engineering Research, Management and Applications (SERA), pp. 311\u2013320. IEEE (2010)","DOI":"10.1109\/SERA.2010.46"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Barhate, S.S.: Effective test strategy for testing automotive software. In: International Conference on Industrial Instrumentation and Control (ICIC), pp. 645\u2013649. IEEE (2015)","DOI":"10.1109\/IIC.2015.7150821"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Barmi, Z.A., Ebrahimi, A.H., Feldt, R.: Alignment of requirements specification and testing: a systematic mapping study. In: Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 476\u2013485 (2011)","DOI":"10.1109\/ICSTW.2011.58"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Von der Beeck, M., Margaria, T., Steffen, B.: A formal requirements engineering method for specification, synthesis, and verification. In: Proceedings of the 8th Conference on Software Engineering Environments, pp. 131\u2013144. IEEE (1997)","DOI":"10.1109\/SEE.1997.591825"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Bringmann, E., Kramer, A.: Model-based testing of automotive systems. In: 1st IEEE International Conference on Software Testing, Verification, and Validation, pp. 485\u2013493 (2008)","DOI":"10.1109\/ICST.2008.45"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/j.entcs.2004.12.005","volume":"111","author":"M Conrad","year":"2005","unstructured":"Conrad, M., Fey, I., Sadeghipour, S.: Systematic model-based testing of embedded automotive software. Electronic Notes Theor. Comput. Sci. 111, 13\u201326 (2005)","journal-title":"Electronic Notes Theor. Comput. Sci."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Dhadyalla, G., Kumari, N., Snell, T.: Combinatorial testing for an automotive hybrid electric vehicle control system: a case study. In: IEEE 7th International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 51\u201357. IEEE (2014)","DOI":"10.1109\/ICSTW.2014.6"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-319-05843-6_3","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"A Ferrari","year":"2014","unstructured":"Ferrari, A., dell\u2019Orletta, F., Spagnolo, G.O., Gnesi, S.: Measuring and improving the completeness of natural language requirements. In: Salinesi, C., Weerd, I. (eds.) REFSQ 2014. LNCS, vol. 8396, pp. 23\u201338. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-05843-6_3"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Grimm, K.: Software technology in an automotive company: major challenges. In: Proceedings of the 25th International Conference on Software Engineering, pp. 498\u2013503. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201228"},{"issue":"7","key":"15_CR11","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1016\/j.infsof.2013.01.005","volume":"55","author":"A Kasoju","year":"2013","unstructured":"Kasoju, A., Petersen, K., M\u00e4ntyl\u00e4, M.V.: Analyzing an automotive testing process with evidence-based software engineering. Inf. Softw. Technol. 55(7), 1237\u20131259 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"15_CR12","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. ACM (2006)","DOI":"10.1145\/1134285.1134292"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Marinescu, R., Saadatmand, M., Bucaioni, A., Seceleanu, C., Pettersson, P.: A model-based testing framework for automotive embedded systems. In: Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 38\u201347. IEEE (2014)","DOI":"10.1109\/SEAA.2014.70"},{"issue":"6","key":"15_CR14","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1093\/fampra\/13.6.522","volume":"13","author":"MN Marshall","year":"1996","unstructured":"Marshall, M.N.: Sampling for qualitative research. Family Pract. 13(6), 522\u2013526 (1996)","journal-title":"Family Pract."},{"issue":"3","key":"15_CR15","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C Nebut","year":"2006","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., Jezequel, J.M.: Automatic test generation: a use case driven approach. IEEE Trans. Softw. Eng. 32(3), 140\u2013155 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Perez, A.M., Kaiser, S.: Integrating test levels for embedded systems. In: Proceedings of the Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART), pp. 184\u2013193. IEEE, September 2009","DOI":"10.1109\/TAICPART.2009.22"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Praprotnik, O., Gartner, M., Zauner, M., Horauer, M.: A test suite for system tests of distributed automotive electronics. In: 2nd International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), pp. 67\u201370. IEEE (2009)","DOI":"10.1109\/CENICS.2009.11"},{"issue":"3","key":"15_CR18","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1111\/j.1540-5885.2007.00250_1.x","volume":"24","author":"K Radeka","year":"2007","unstructured":"Radeka, K.: The toyota product development system: integrating people, process and technology by James M. Morgan and Jeffrey K. Liker. J. Prod. Innov. Manage 24(3), 276\u2013278 (2007)","journal-title":"J. Prod. Innov. Manage"},{"issue":"6","key":"15_CR19","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1108\/01409170410784185","volume":"27","author":"J Rowley","year":"2004","unstructured":"Rowley, J., Slack, F.: Conducting a literature review. Manage. Res. News 27(6), 31\u201339 (2004)","journal-title":"Manage. Res. News"},{"issue":"2","key":"15_CR20","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2008","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131\u2013164 (2008)","journal-title":"Empir. Softw. Eng."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Saglietti, F.: Testing for dependable embedded software. In: 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 409\u2013416. IEEE (2010)","DOI":"10.1109\/SEAA.2010.49"},{"issue":"5","key":"15_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2815021.2815032","volume":"40","author":"US Shah","year":"2015","unstructured":"Shah, U.S., Jinwala, D.C.: Resolving ambiguities in natural language software requirements: a comprehensive survey. ACM SIGSOFT Softw. Eng. Notes 40(5), 1\u20137 (2015)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"4","key":"15_CR23","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/MC.2009.125","volume":"42","author":"H Shokry","year":"2009","unstructured":"Shokry, H., Hinchey, M.: Model-based verification of embedded software. IEEE Comput. 42(4), 53\u201359 (2009)","journal-title":"IEEE Comput."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Siegl, S., Hielscher, K.S., German, R., Berger, C.: Formal specification and systematic model-driven testing of embedded automotive systems. In: Proceedings of the Europe Conference & Exhibition on Design, Automation & Test (DATE), pp. 1\u20136. IEEE (2011)","DOI":"10.1109\/DATE.2011.5763028"},{"issue":"1","key":"15_CR25","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.infsof.2005.02.006","volume":"48","author":"SS Som\u00e9","year":"2006","unstructured":"Som\u00e9, S.S.: Supporting use case based requirements engineering. Inf. Softw. Technol. 48(1), 43\u201358 (2006)","journal-title":"Inf. Softw. Technol."},{"key":"15_CR26","unstructured":"Strauss, A., Corbin, J.: Basics of Qualitative Research: Grounded Theory Procedures and Techniques. Sage Publications, Beverly Hills (1990)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Sundmark, D., Petersen, K., Larsson, S.: An exploratory case study of testing in an automotive electrical system release process. In: 6th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 166\u2013175. IEEE (2011)","DOI":"10.1109\/SIES.2011.5953659"},{"key":"15_CR28","unstructured":"Tsai, W.T., Bai, X., Paul, R., Yu, L.: Scenario-based functional regression testing. In: Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC), pp. 496\u2013501. IEEE (2001)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Weber, M., Weisbrod, J.: Requirements engineering in automotive development - Experiences and challenges. In: Proceedings of the IEEE Joint International Conference on Requirements Engineering, pp. 331\u2013340 (2002)","DOI":"10.1109\/ICRE.2002.1048546"},{"issue":"6","key":"15_CR30","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/1167948.1167980","volume":"13","author":"CE Wilson","year":"2006","unstructured":"Wilson, C.E.: Triangulation: the explicit use of multiple methods, measures, and approaches for determining core issues in product development. Interactions 13(6), 46\u201347 (2006)","journal-title":"Interactions"},{"key":"15_CR31","unstructured":"Yin, R.K.: Case Study Research: Design and Methods. Sage Publications (2013)"}],"container-title":["Lecture Notes in Computer Science","Product-Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49094-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T00:40:19Z","timestamp":1749688819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49094-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319490939","9783319490946"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49094-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}