{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:08:12Z","timestamp":1742962092303,"version":"3.40.3"},"publisher-location":"London","reference-count":40,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9780857291325"},{"type":"electronic","value":"9780857291332"}],"license":[{"start":{"date-parts":[[2010,11,29]],"date-time":"2010-11-29T00:00:00Z","timestamp":1290988800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,11,29]],"date-time":"2010-11-29T00:00:00Z","timestamp":1290988800000},"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":[[2011]]},"DOI":"10.1007\/978-0-85729-133-2_12","type":"book-chapter","created":{"date-parts":[[2010,11,26]],"date-time":"2010-11-26T22:41:04Z","timestamp":1290811264000},"page":"187-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Testing of Safety-Critical Systems \u2013 a Structural Approach to Test Case Design"],"prefix":"10.1007","author":[{"given":"Armin","family":"Beer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Peischl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,29]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1:11-33","journal-title":"IEEE Trans Dependable Secur Comput"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Beer A, Heindl M (2007) Issues in testing dependable event-based systems at a systems integration company. Proc Int Conf Availab Reliab Secur (ARES 2007), Vienna, Austria","DOI":"10.1109\/ARES.2007.103"},{"key":"12_CR3","unstructured":"Beer A, Menzel M (2008) Test automation patterns: closing the gap between requirements and test. Testing Experience Magazine, December 2008"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Beer A, Ramler R (2008) The role of experience in software testing practice. 34thUROMICRO conference on software engineering and advanced applications. SEAA 2008, Parma, Italy","DOI":"10.1109\/SEAA.2008.28"},{"key":"12_CR5","volume-title":"Software system testing and quality assurance","author":"B Beizer","year":"1990","unstructured":"Beizer B (1990) Software system testing and quality assurance. Van Nostrand Reinhold"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Belinfante A, Frantzen L, Schallhart C (2005) Tools for test case generation. In: Model-based testing of reactive systems. LNCS 3472. Springer","DOI":"10.1007\/11498490_18"},{"key":"12_CR7","unstructured":"Black R (2009) Advanced software testing \u2013 guide to the ISTQB advanced certification Vol1 and 2, Rockynook"},{"key":"12_CR8","unstructured":"Blackburn M (2002) The Mars polar lander failure. STQE Magazine, September\/October 2002"},{"key":"12_CR9","unstructured":"SEI (2006) CMMI\u00ae for Development, Version 1.2. Carnegie Mellon University"},{"key":"12_CR10","unstructured":"CENELEC (2001) EN 50128 Railway applications: communications, signalling and processing systems \u2013 software for railway control and protection systems"},{"key":"12_CR11","unstructured":"de Grood D-J (2008) TestGoal, Result-driven testing. Collis BV, Leiden."},{"key":"12_CR12","unstructured":"Eastaughffe KA, Cant A, et al (1999) A framework for assessing standards for safety critical computer-based systems. In Proc Fourth IEEE Int Symp Forum Softw Eng Stand"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0167-6423(96)00032-9","volume":"29","author":"J C Fernandez","year":"1997","unstructured":"Fernandez J C, Jard C, Jeron T, Viho C (1997) An experiment in automatic generation of test suites for protocols with verification technology. Sci Comput Program 29:123-146","journal-title":"Sci Comput Program"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Frantzen L, Tretmans J, Willemse TAC (2006) A symbolic framework for model-based testing.","DOI":"10.1007\/11940197_3"},{"key":"12_CR15","unstructured":"In: Havelund K, N\u00fa\u00f1ez M, Rosu G, Wolff B (eds), Formal approaches to software testing and"},{"key":"12_CR16","unstructured":"runtime verification (FATES\/RV) LNCS 4262. Springer"},{"key":"12_CR17","volume-title":"Encyclopedia of software engineering","author":"R Hamlet","year":"1994","unstructured":"Hamlet R (1994) Random testing. In: Marciniak J (ed) Encyclopedia of software engineering. Wiley, New York"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"2","author":"W Howden","year":"1976","unstructured":"Howden W (1976) Reliability of the path analysis testing strategy. IEEE Trans Softw Eng 2:208- 215","journal-title":"IEEE Trans Softw Eng"},{"key":"12_CR19","unstructured":"ISO (1989) ISO 8807 Information processing systems \u2013 open systems interconnection \u2013 LOTOS \u2013 A formal description technique based on the temporal ordering of observational behaviour"},{"key":"12_CR20","unstructured":"ISTQB (2010) Standard glossary of terms used in software testing. Version 2.1. International Software Testing Qualifications Board, Glossary Working Party"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Kahlouche H, Viho C, Zendri M (1998) An industrial experiment in automatic generation of executable test suites for a cache coherency protocol. In: Proc Int Workshop Test Commun Syst","DOI":"10.1007\/978-0-387-35381-4_13"},{"key":"12_CR22","unstructured":"Kuhn D, Wallace D (2000) Failure modes in medical device software: an analysis of 15 years of recall data. Nat. Institute of Standards and Technology, Gaithersburg, MD USA. http:\/\/csrc.nist.gov\/staff\/Kuhn\/final-rqse.pdf. Accessed 25 August 2010"},{"issue":"11","key":"12_CR23","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/163359.163373","volume":"36","author":"B Littlewood","year":"1993","unstructured":"Littlewood B, Strigini L (1993) Validation of ultrahigh dependability for software-based systems. Comm. ACM 36(11):69-80","journal-title":"Comm. ACM"},{"key":"12_CR24","unstructured":"Lyu MR (ed) (1987) Handbook of software reliability engineering. IEEE Computer Society Press"},{"key":"12_CR25","unstructured":"McDonald M, Musson R, Smith R (2008) The practical guide to defect prevention \u2013 techniques to meet the demand for more reliable software. Microsoft Press"},{"key":"12_CR26","unstructured":"Milius S, Steinke U (2010) Modellbasierte softwareentwicklung mit SCADE in der eisenbahnautomatisierung. http:\/\/www.iti.cs.tu-bs.de\/\u223cmilius\/research\/modelbased.pdf. Accessed 24 August 2010"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Mohacsi S, Wallner J (2010) A hybrid approach for model-based random testing. VALID 2010, Nice, France","DOI":"10.1109\/VALID.2010.15"},{"key":"12_CR28","unstructured":"Mogyorodi G (2008) Requirements-based testing \u2013 ambiguity reviews. Testing Experience Magazine"},{"key":"12_CR29","unstructured":"Myers G (1979) The art of software testing. Wiley & Sons"},{"key":"12_CR30","unstructured":"Nielsen DS (1971) The cause consequence diagram method as a basis for quantitative accident analysis. Danish Atomic Energy Commission, RISO-M-1374"},{"key":"12_CR31","unstructured":"OMG (2010) UML superstructure reference. http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Superstructure\/PDF. Accessed April 2010"},{"key":"12_CR32","unstructured":"Peischl B (2007) Standards for safety critical software: validation, verification, and testing requirements. SNA-TR-2007-1, Softnet-Report"},{"key":"12_CR33","unstructured":"Straden L, Trebbien-Nielsen C (2002) Standards for safety-related applications. Nordtest Technical Report."},{"issue":"3","key":"12_CR34","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans J (1996) Test generation with inputs, outputs and repetitive quiescence. Softw Concepts Tools 17(3):103-120","journal-title":"Softw Concepts Tools"},{"key":"12_CR35","volume-title":"Proc First Eur Conf Model-Driven Softw Eng","author":"J Tretmans","year":"2003","unstructured":"Tretmans J and Brinksma E (2003) Torx: automated model based testing. In: Hartman A, Dussa- Zieger K (eds) Proc First Eur Conf Model-Driven Softw Eng, Nurnburg, Germany"},{"key":"12_CR36","series-title":"LNCS","volume-title":"Formal methods and testing: an outcome of the FORTEST network","author":"J Tretmans","year":"2008","unstructured":"Tretmans J (2008) Model based testing with labelled transition systems. In: Hierons RM, Bowen JP, Harman M (eds) Formal methods and testing: an outcome of the FORTEST network. LNCS 4949. Springer-Verlag, Berlin, Heidelberg"},{"key":"12_CR37","unstructured":"Tuinhout R (2008) The boundary value fallacy. Testing Experience Magazine"},{"key":"12_CR38","doi-asserted-by":"publisher","first-page":"1606","DOI":"10.1016\/j.jss.2006.02.049","volume":"79","author":"S Vegas","year":"2006","unstructured":"Vegas S, Juristo N, Basili V (2006) Packaging experiences for improving testing technique selection. J Syst Softw 79:1606-1618","journal-title":"J Syst Softw"},{"key":"12_CR39","unstructured":"Voas J M, McGraw G (1998) Software fault injection. Wiley Interscience"},{"key":"12_CR40","unstructured":"Whittaker J (2003) How to break software. Addison-Wesley"}],"container-title":["Advances in Systems Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-85729-133-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T19:34:32Z","timestamp":1675193672000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-85729-133-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,29]]},"ISBN":["9780857291325","9780857291332"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-0-85729-133-2_12","relation":{},"subject":[],"published":{"date-parts":[[2010,11,29]]},"assertion":[{"value":"29 November 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}