{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:24:53Z","timestamp":1790936693268,"version":"4.1.0"},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T00:00:00Z","timestamp":1506297600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004890","name":"Wageningen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004890","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11219-017-9386-2","type":"journal-article","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T01:10:29Z","timestamp":1506301829000},"page":"1327-1372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":68,"title":["Model-based testing for software safety: a systematic mapping study"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7063-4277","authenticated-orcid":false,"given":"Havva Gulay","family":"Gurbuz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bedir","family":"Tekinerdogan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,9,25]]},"reference":[{"issue":"1","key":"9386_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921559","volume":"36","author":"BK Aichernig","year":"2011","unstructured":"Aichernig, B. K., Brandl, H., J\u00f6bstl, E., & Krenn, W. (2011). UML in action: A two-layered interpretation for testing. SIGSOFT Softw Eng. Notes, 36(1), 1\u20138. doi:\n10.1145\/1921532.1921559\n\n.","journal-title":"SIGSOFT Softw Eng. Notes"},{"key":"9386_CR2","doi-asserted-by":"publisher","unstructured":"Aichernig, B. K., H\u00f6rmaier, K., & Lorber, F. (2014). Debugging with timed automata mutations. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8666 LNCS, 49\u201364. doi:\n10.1007\/978-3-319-10506-2_4\n\n.","DOI":"10.1007\/978-3-319-10506-2_4"},{"key":"9386_CR3","doi-asserted-by":"publisher","unstructured":"Aichernig, B. K., Ni\u010dkovi\u0107, D., & Tiran, S. (2015). Scalable incremental test-case generation from large behavior models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9154, pp. 1\u201318). doi:\n10.1007\/978-3-319-21215-9_1\n\n.","DOI":"10.1007\/978-3-319-21215-9_1"},{"issue":"2","key":"9386_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10009-015-0394-x","volume":"19","author":"P Arcaini","year":"2017","unstructured":"Arcaini, P., Gargantini, A., & Riccobene, E. (2017). Rigorous development process of a safety-critical system: From ASM models to Java code. International Journal on Software Tools for Technology Transfer, 19(2), 247\u2013269. doi:\n10.1007\/s10009-015-0394-x\n\n.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9386_CR5","unstructured":"ATGT Tool. (n.d.). \nhttp:\/\/cs.unibg.it\/gargantini\/software\/atgt\/\n\n. Accessed 3 September 2016."},{"issue":"7454","key":"9386_CR6","doi-asserted-by":"publisher","first-page":"1490","DOI":"10.1136\/bmj.328.7454.1490","volume":"328","author":"D Atkins","year":"2004","unstructured":"Atkins, D., Best, D., Briss, P. A., Eccles, M., Falck-Ytter, Y., Flottorp, S., et al. (2004). Grading quality of evidence and strength of recommendations. BMJ (Clinical Research ed.), 328(7454), 1490. doi:\n10.1136\/bmj.328.7454.1490\n\n.","journal-title":"BMJ (Clinical Research ed.)"},{"issue":"10","key":"9386_CR7","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1016\/j.infsof.2006.03.005","volume":"48","author":"M Auguston","year":"2006","unstructured":"Auguston, M., Michael, J. B., & Shing, M.-T. (2006). Environment behavior models for automation of testing and assessment of system safety. Information and Software Technology, 48(10), 971\u2013980. doi:\n10.1016\/j.infsof.2006.03.005\n\n.","journal-title":"Information and Software Technology"},{"key":"9386_CR8","doi-asserted-by":"publisher","unstructured":"Bourque, P., & Dupuis, R. (2004). Guide to the Software Engineering Body of Knowledge 2004 Version. SWEBOK 2004 Guide to the Software Engineering Body of Knowledge (Vol. 1). doi:\n10.1109\/SESS.1999.767664\n\n.","DOI":"10.1109\/SESS.1999.767664"},{"issue":"1","key":"9386_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-014-0449-6","volume":"16","author":"Y Choi","year":"2017","unstructured":"Choi, Y., & Byun, T. (2017). Constraint-based test generation for automotive operating systems. Software and Systems Modeling, 16(1), 7\u201324. doi:\n10.1007\/s10270-014-0449-6\n\n.","journal-title":"Software and Systems Modeling"},{"key":"9386_CR10","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/978-3-642-24485-8_31","volume":"6981","author":"H Cichos","year":"2011","unstructured":"Cichos, H., Oster, S., Lochau, M., & Schuerr, A. (2011). Model-based coverage-driven test suite generation for software product lines. Model Driven Engineering Languages and Systems, 6981, 425\u2013439.","journal-title":"Model Driven Engineering Languages and Systems"},{"key":"9386_CR11","doi-asserted-by":"publisher","unstructured":"Dias Neto, A. C., Subramanyan, R., Vieira, M., & Travassos, G. H. (2007). A survey on model-based testing approaches: A systematic review. In Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: Held in Conjunction with the 22Nd IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2007 (pp. 31\u201336). New York, NY, USA: ACM. doi:\n10.1145\/1353673.1353681\n\n.","DOI":"10.1145\/1353673.1353681"},{"key":"9386_CR12","doi-asserted-by":"publisher","unstructured":"Enoiu, E. P., Sundmark, D., & Pettersson, P. (2013). Model-based test suite generation for function block diagrams using the UPPAAL model checker. Proceedings\u2013IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, 158\u2013167. doi:\n10.1109\/ICSTW.2013.27\n\n.","DOI":"10.1109\/ICSTW.2013.27"},{"key":"9386_CR13","doi-asserted-by":"publisher","unstructured":"Enoiu, E. P. ., \u010cau\u0161evi\u0107, A. ., Ostrand, T. J. ., Weyuker, E. J. ., Sundmark, D., Pettersson, P. (2014). Automated test generation using model checking: an industrial evaluation. International Journal on Software Tools for Technology Transfer, 335\u2013353. doi:\n10.1007\/s10009-014-0355-9\n\n.","DOI":"10.1007\/s10009-014-0355-9"},{"key":"9386_CR14","doi-asserted-by":"publisher","unstructured":"Fang, L., Kitamura, T., Do, T. B. N., & Ohsaki, H. (2012). Formal model-based test for AUTOSAR multicore RTOS. Proceedings\u2013IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012, 251\u2013259. doi:\n10.1109\/ICST.2012.105\n\n.","DOI":"10.1109\/ICST.2012.105"},{"key":"9386_CR15","doi-asserted-by":"publisher","unstructured":"Fraser, G., Wotawa, F., & Ammann, P. E. (2009). Testing with model checkers: A survey. Software Testing Verification and Reliability. doi:\n10.1002\/stvr.402\n\n.","DOI":"10.1002\/stvr.402"},{"key":"9386_CR16","doi-asserted-by":"publisher","unstructured":"Gargantini, A. (2007). Using model checking to generate fault detecting tests. Tests and Proofs, 189\u2013206. doi:\n10.1007\/978-3-540-73770-4_11\n\n.","DOI":"10.1007\/978-3-540-73770-4_11"},{"key":"9386_CR17","doi-asserted-by":"publisher","unstructured":"Gario, A., Andrews, A., & Hagerman, S. (2015). Fail-safe testing of safety-critical systems: A case study and efficiency analysis. Software Quality Journal. doi:\n10.1007\/s11219-015-9283-5\n\n.","DOI":"10.1007\/s11219-015-9283-5"},{"key":"9386_CR18","doi-asserted-by":"publisher","unstructured":"Gentile, U., Marrone, S., Mele, G., Nardone, R., & Peron, A. (2014). Test specification patterns for automatic generation of test sequences. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8718 LNCS, 170\u2013184. doi:\n10.1007\/978-3-319-10702-8_12\n\n.","DOI":"10.1007\/978-3-319-10702-8_12"},{"key":"9386_CR19","doi-asserted-by":"publisher","unstructured":"Grasso, D., Fantechi, A., Ferrari, A., Becheri, C., & Bacherini, S. (2010). Model based testing and abstract interpretation in the railway signaling context. ICST 2010\u20133rd International Conference on Software Testing, Verification and Validation, 103\u2013106. doi:\n10.1109\/ICST.2010.44\n\n.","DOI":"10.1109\/ICST.2010.44"},{"key":"9386_CR20","doi-asserted-by":"publisher","unstructured":"Hartman, A., Katara, M., & Olvovsky, S. (2007). Choosing a test modeling language: A survey. Hardware and Software, Verification and Testing, 204\u2013218. doi:\n10.1007\/978-3-540-70889-6_16\n\n.","DOI":"10.1007\/978-3-540-70889-6_16"},{"key":"9386_CR21","doi-asserted-by":"publisher","unstructured":"Herber, P., & Glesner, S. (2015). Formal modeling and verification of cyber-physical systems. doi:\n10.1007\/978-3-658-09994-7\n\n.","DOI":"10.1007\/978-3-658-09994-7"},{"issue":"6","key":"9386_CR22","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s00502-010-0741-2","volume":"127","author":"W Herzner","year":"2010","unstructured":"Herzner, W., Schlick, R., Sch\u00fctz, W., Brandl, H., & Krenn, W. (2010). Towards generation of efficient test cases from UML\/OCL models for complex safety-critical systems. Elektrotechnik und Informationstechnik, 127(6), 181\u2013186. doi:\n10.1007\/s00502-010-0741-2\n\n.","journal-title":"Elektrotechnik und Informationstechnik"},{"key":"9386_CR23","unstructured":"Hessel, A., & Pettersson, P. (2007a). COVER-\u2013A real-time test case generation tool."},{"key":"9386_CR24","doi-asserted-by":"publisher","unstructured":"Hessel, A., & Pettersson, P. (2007b). A global algorithm for model-based test suite generation. Electronic Notes in Theoretical Computer Science, 190(2 SPEC. ISS.), 47\u201359. doi:\n10.1016\/j.entcs.2007.08.005\n\n.","DOI":"10.1016\/j.entcs.2007.08.005"},{"issue":"1","key":"9386_CR25","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/568438.568455","volume":"32","author":"JE Hopcroft","year":"2001","unstructured":"Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2001). Introduction to automata theory, languages, and computation, 2nd edition. ACM SIGACT News, 32(1), 60. doi:\n10.1145\/568438.568455\n\n.","journal-title":"ACM SIGACT News"},{"key":"9386_CR26","doi-asserted-by":"publisher","unstructured":"Jensen, K. (1987). Coloured Petri nets. In Petri nets: central models and their properties (Vol. 254, pp. 248\u2013299). doi:\n10.1007\/BFb0046842\n\n.","DOI":"10.1007\/BFb0046842"},{"key":"9386_CR27","doi-asserted-by":"publisher","unstructured":"Kandl, S., Kirner, R., & Puschner, P. (2006). Development of a framework for automated systematic testing of safety-critical embedded systems. Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems, WISES 2006, 65\u201377. doi:\n10.1109\/WISES.2006.237154\n\n.","DOI":"10.1109\/WISES.2006.237154"},{"key":"9386_CR28","doi-asserted-by":"publisher","unstructured":"Kim, J. H., Larsen, K. G., Nielsen, B., Miku\u010dionis, M., & Olsen, P. (2015). Formal analysis and testing of real-time automotive systems using UPPAAL tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9128, pp. 47\u201361). doi:\n10.1007\/978-3-319-19458-5_4\n\n.","DOI":"10.1007\/978-3-319-19458-5_4"},{"key":"9386_CR29","unstructured":"Kitchenham, B., & Charters, S. (2007). Guidelines for Performing Systematic Literature Reviews in Software Engineering. EBSE Technical Report Nr. EBSE-2007-01. EBSE Technical Report. \nhttp:\/\/www.dur.ac.uk\/ebse\/resources\/Systematic-reviews-5-8.pdf"},{"key":"9386_CR30","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2010.05.009","volume":"263","author":"J Kloos","year":"2010","unstructured":"Kloos, J., & Eschbach, R. (2010). A systematic approach to construct compositional behaviour models for network-structured safety-critical systems. Electronic Notes in Theoretical Computer Science, 263, 145\u2013160. doi:\n10.1016\/j.entcs.2010.05.009\n\n.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9386_CR31","doi-asserted-by":"publisher","unstructured":"Kloos, J., Hussain, T., & Eschbach, R. (2011). Risk-based testing of safety-critical embedded systems driven by fault tree analysis. Proceedings\u20134th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, 26\u201333. doi:\n10.1109\/ICSTW.2011.90\n\n.","DOI":"10.1109\/ICSTW.2011.90"},{"key":"9386_CR32","doi-asserted-by":"publisher","unstructured":"Kollmann, M., & Hon, Y. M. (2007). Generating scenarios by multi-object checking. Electronic Notes in Theoretical Computer Science, 190(2 SPEC. ISS.), 61\u201372. doi:\n10.1016\/j.entcs.2007.08.006\n\n.","DOI":"10.1016\/j.entcs.2007.08.006"},{"key":"9386_CR33","doi-asserted-by":"publisher","unstructured":"Krenn, W., Schlick, R., & Aichernig, B. K. (2010). Mapping UML to labeled transition systems for test-case generation: A translation via object-oriented action systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6286 LNCS, 186\u2013207. doi:\n10.1007\/978-3-642-17071-3_10\n\n.","DOI":"10.1007\/978-3-642-17071-3_10"},{"key":"9386_CR34","doi-asserted-by":"publisher","unstructured":"Leskovec, J., Rajaraman, A., & Ullman, J. D. (2014). Mining social-network graphs. Mining of Massive Datasets, 340\u2013393. doi:\n10.1017\/CBO9781139924801.011\n\n.","DOI":"10.1017\/CBO9781139924801.011"},{"key":"9386_CR35","doi-asserted-by":"publisher","unstructured":"Li, M., & Kumar, R. (2011). Stateflow to extended finite automata translation. In Proceedings\u2013International Computer Software and Applications Conference (pp. 1\u20136). doi:\n10.1109\/COMPSACW.2011.11\n\n.","DOI":"10.1109\/COMPSACW.2011.11"},{"issue":"3","key":"9386_CR36","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.entcs.2010.12.013","volume":"264","author":"M Lochau","year":"2010","unstructured":"Lochau, M., & Goltz, U. (2010). Feature interaction aware test case generation for embedded control systems. Electronic Notes in Theoretical Computer Science, 264(3), 37\u201352. doi:\n10.1016\/j.entcs.2010.12.013\n\n.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9386_CR37","doi-asserted-by":"publisher","unstructured":"Lv, J., Li, K., Wei, G., Tang, T., Li, C., & Zhao, W. (2013). Model-based test cases generation for onboard system. 2013 I.E. Eleventh International Symposium on Autonomous Decentralized Systems (ISADS), 1\u20136. doi:\n10.1109\/ISADS.2013.6513433\n\n.","DOI":"10.1109\/ISADS.2013.6513433"},{"issue":"6","key":"9386_CR38","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1007\/s10009-014-0320-7","volume":"16","author":"S Marrone","year":"2014","unstructured":"Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., & Vittorini, V. (2014). Towards model-driven V&V assessment of railway control systems. International Journal on Software Tools for Technology Transfer, 16(6), 669\u2013683. doi:\n10.1007\/s10009-014-0320-7\n\n.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9386_CR39","unstructured":"MaTeLo Tool. (n.d.). \nhttp:\/\/www.all4tec.net\/Matelo\/model-based-testing.html\n\n. Accessed 10 March 2017."},{"key":"9386_CR40","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/HLDVT.2007.4392792","volume-title":"Model-driven test generation for system level validation","author":"DA Mathaikutty","year":"2007","unstructured":"Mathaikutty, D. A., Ahuja, S., Dingankar, A., & Shukla, S. (2007). Model-driven test generation for system level validation (pp. 83\u201390). HLDVT: Proceedings\u2013IEEE International High-Level Design Validation and Test Workshop. doi:\n10.1109\/HLDVT.2007.4392792\n\n."},{"key":"9386_CR41","doi-asserted-by":"publisher","unstructured":"Micskei, Z., Szatm\u00e1ri, Z., Ol\u00e1h, J., & Majzik, I. (2012). A concept for testing robustness and safety of the context-aware behaviour of autonomous systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7327 LNAI, 504\u2013513. doi:\n10.1007\/978-3-642-30947-2_55\n\n.","DOI":"10.1007\/978-3-642-30947-2_55"},{"issue":"2","key":"9386_CR42","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/stvr.1489","volume":"24","author":"S Mohalik","year":"2014","unstructured":"Mohalik, S., Gadkari, A., Yeolekar, A., Shashidhar, K. C., & Ramesh, S. (2014). Automatic test case generation from Simulink\/Stateflow models using model checking. Software Testing Verification and Reliability, 24(2), 155\u2013180. doi:\n10.1002\/stvr.1489\n\n.","journal-title":"Software Testing Verification and Reliability"},{"key":"9386_CR43","unstructured":"NuSMV Language. (n.d.). \nhttp:\/\/nusmv.fbk.eu\/\n\n. Accessed 20 January 2014."},{"key":"9386_CR44","doi-asserted-by":"publisher","unstructured":"Petersen, K., Vakkalanka, S., & Kuzniarz, L. (2015). Guidelines for conducting systematic mapping studies in software engineering: An update. In Information and Software Technology (Vol. 64, pp. 1\u201318). doi:\n10.1016\/j.infsof.2015.03.007\n\n.","DOI":"10.1016\/j.infsof.2015.03.007"},{"key":"9386_CR45","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-16111-7_36","volume":"6359","author":"M Proetzsch","year":"2010","unstructured":"Proetzsch, M., Zimmermann, F., Eschbach, R., Kloos, J., & Berns, K. (2010). A systematic testing approach for autonomous mobile robots using domain-specific languages. KI 2010: Advances in Artificial Intelligence, 6359, 317\u2013324. doi:\n10.1007\/978-3-642-16111-7_36\n\n.","journal-title":"KI 2010: Advances in Artificial Intelligence"},{"key":"9386_CR46","doi-asserted-by":"publisher","unstructured":"Prowell, S. J. (2003). JUMBL: A tool for model-based statistical testing. In Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003. doi:\n10.1109\/HICSS.2003.1174916\n\n.","DOI":"10.1109\/HICSS.2003.1174916"},{"key":"9386_CR47","doi-asserted-by":"publisher","unstructured":"Rafi, D. M., Moses, K. R. K., Petersen, K., & M\u00e4ntyl\u00e4, M. V. (2012). Benefits and limitations of automated software testing: Systematic literature review and practitioner survey. In 2012 7th International Workshop on Automation of Software Test, AST 2012\u2013Proceedings. doi:\n10.1109\/IWAST.2012.6228988\n\n.","DOI":"10.1109\/IWAST.2012.6228988"},{"key":"9386_CR48","doi-asserted-by":"publisher","unstructured":"Samih, H., Guen, H. Le, Bogusch, R., Acher, M., & Baudry, B. (2014). Deriving usage model variants for model-based testing: An industrial case study. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 77\u201380. doi:\n10.1109\/ICECCS.2014.19\n\n.","DOI":"10.1109\/ICECCS.2014.19"},{"issue":"3","key":"9386_CR49","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s10009-014-0358-6","volume":"18","author":"P Schrammel","year":"2016","unstructured":"Schrammel, P., Melham, T., & Kroening, D. (2016). Generating test case chains for reactive systems. International Journal on Software Tools for Technology Transfer, 18(3), 319\u2013334. doi:\n10.1007\/s10009-014-0358-6\n\n.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9386_CR50","unstructured":"Spin\u2013formal verification. (n.d.). \nhttp:\/\/spinroot.com\/spin\/whatispin.htm\n\n. Accessed 21 January 2014."},{"key":"9386_CR51","doi-asserted-by":"publisher","unstructured":"Stallbaum, H., & Rzepka, M. (2011). Toward DO-178B-compliant test models. Proceedings\u20132010 Workshop on Model-Driven Engineering, Verification, and Validation, MoDeVVa 2010, 25\u201330. doi:\n10.1109\/MoDeVVa.2010.21\n\n.","DOI":"10.1109\/MoDeVVa.2010.21"},{"key":"9386_CR52","unstructured":"Symbolic Analysis Laboratory Title. (n.d.). \nhttp:\/\/sal.csl.sri.com\/\n\n. Accessed 21 January 2014."},{"key":"9386_CR53","doi-asserted-by":"publisher","unstructured":"Thomas, F., Delatour, J., Terrier, F., & G\u00e9rard, S. (2008). Toward a framework for explicit platform-based transformations. In Proceedings\u201311th IEEE Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing, ISORC 2008 (pp. 211\u2013218). doi:\n10.1109\/ISORC.2008.64\n\n.","DOI":"10.1109\/ISORC.2008.64"},{"issue":"2","key":"9386_CR54","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1016\/j.infsof.2012.08.016","volume":"55","author":"W-H Tseng","year":"2013","unstructured":"Tseng, W.-H., & Fan, C.-F. (2013). Systematic scenario test case generation for nuclear safety systems. Information and Software Technology, 55(2), 344\u2013356. doi:\n10.1016\/j.infsof.2012.08.016\n\n.","journal-title":"Information and Software Technology"},{"issue":"April","key":"9386_CR55","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B., Pretschner, A., & Legeard, B. (2006). A taxonomy of model-based testing. Software Testing, Verification and Reliability, 22(April), 297\u2013312. doi:\n10.1002\/stvr.456\n\n.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9386_CR56","doi-asserted-by":"publisher","unstructured":"Wilkinson, T., Butler, M., & Colley, J. (2014). A systematic approach to requirements driven test generation for safety critical systems, 43\u201356. doi:\n10.1007\/978-3-319-12214-4_4\n\n.","DOI":"10.1007\/978-3-319-12214-4_4"},{"key":"9386_CR57","doi-asserted-by":"publisher","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M. C., Regnell, B., & Wessl\u00e9n, A. (2012). Experimentation in software engineering. Experimentation in Software Engineering, 9783642290. doi:\n10.1007\/978-3-642-29044-2\n\n.","DOI":"10.1007\/978-3-642-29044-2"},{"key":"9386_CR58","doi-asserted-by":"publisher","unstructured":"Yu, G., & Xu, Z. W. (2010). Model-based safety test automation of safety-critical software. 2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010, (60674004), 4\u20136. doi:\n10.1109\/CISE.2010.5676883\n\n.","DOI":"10.1109\/CISE.2010.5676883"},{"key":"9386_CR59","doi-asserted-by":"publisher","unstructured":"Yu, G., Xu, Z. W., & Du, J. W. (2009). An approach for automated safety testing of safety-critical software system based on safety requirements. Proceedings\u20132009 International Forum on Information Technology and Applications, IFITA 2009, 3, 166\u2013169. doi:\n10.1109\/IFITA.2009.18\n\n.","DOI":"10.1109\/IFITA.2009.18"},{"issue":"6","key":"9386_CR60","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1016\/j.infsof.2010.12.010","volume":"53","author":"H Zhang","year":"2011","unstructured":"Zhang, H., Babar, M. A., & Tell, P. (2011). Identifying relevant studies in software engineering. Information and Software Technology, 53(6), 625\u2013637. doi:\n10.1016\/j.infsof.2010.12.010\n\n.","journal-title":"Information and Software Technology"},{"issue":"6","key":"9386_CR61","doi-asserted-by":"publisher","first-page":"2551","DOI":"10.1109\/TITS.2014.2320552","volume":"15","author":"W Zheng","year":"2014","unstructured":"Zheng, W., Liang, C., Wang, R., & Kong, W. (2014). Automated test approach based on all paths covered optimal algorithm and sequence priority selected algorithm. IEEE Transactions on Intelligent Transportation Systems, 15(6), 2551\u20132560. doi:\n10.1109\/TITS.2014.2320552\n\n.","journal-title":"IEEE Transactions on Intelligent Transportation Systems"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-017-9386-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9386-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9386-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T11:38:35Z","timestamp":1540899515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-017-9386-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,25]]},"references-count":61,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["9386"],"URL":"https:\/\/doi.org\/10.1007\/s11219-017-9386-2","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,25]]}}}