{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T23:10:01Z","timestamp":1740525001650,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231769"},{"type":"electronic","value":"9783540301387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_11","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T00:10:34Z","timestamp":1284855034000},"page":"116-129","source":"Crossref","is-referenced-by-count":7,"title":["A Hybrid Testing Methodology for Railway Control Systems"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Nicola","sequence":"first","affiliation":[]},{"given":"Pasquale","family":"di Tommaso","sequence":"additional","affiliation":[]},{"given":"Rosaria","family":"Esposito","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Flammini","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Orazzo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"CENELEC: EN 50126 Railway Applications \u2013 The specification and demonstration of Reliability, Maintainability and Safety (RAMS)"},{"key":"11_CR2","volume-title":"Real-Time Software Techniques","author":"W.S. Heath","year":"1991","unstructured":"Heath, W.S.: Real-Time Software Techniques. Van Nostrand Reinhold, New York (1991)"},{"key":"11_CR3","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Software Testing. Wiley, New York (1979)"},{"key":"11_CR4","unstructured":"Wegener, J., Grimm, K., Grochtmann, M.: Systematic Testing of Real-Time Systems. In: Conference Papers of EuroSTAR 1996, Amsterdam (1996)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Jeng, B., Weyuker, E.J.: Some Observations on Partition Testing. In: Proceedings of the ACM SIGSOFT 1989 Third Symposium on Software Testing, Analysis and Verification, Key West (1989)","DOI":"10.1145\/75308.75314"},{"issue":"6","key":"11_CR6","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T. Ostrand","year":"1988","unstructured":"Ostrand, T., Balcer, M.: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Communications of the ACM"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M. Grochtmann","year":"1993","unstructured":"Grochtmann, M., Grimm, K.: Classification-Trees for Partition Testing. Journal of Software Testing, Verification and Reliability\u00a03(2), 63\u201382 (1993)","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"11_CR8","unstructured":"Grimm, K.: Systematic Testing of Software-Based Systems. In: Proceedings of the 2nd Annual ENCRESS Conference, Paris (1996)"},{"key":"11_CR9","unstructured":"di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A.: Hazard Analysis of Complex Distributed Railway Systems. In: Proceedings of 22nd International Symposium on Reliable Distributed Systems, Florence, pp. 283\u2013292 (2003)"},{"key":"11_CR10","unstructured":"UNISIG ERTMS\/ETCS \u2013 Class1 Issue 2.2.2 Subset 026-1"},{"key":"11_CR11","unstructured":"Ministero dei Trasporti \u2013 Ferrovie dello Stato \u2013 Direzione Generale: Norme per l\u2019Ubicazione e l\u2019Aspetto dei Segnali"},{"key":"11_CR12","volume-title":"Software Engineering","author":"Sommervill","year":"2000","unstructured":"Sommervill: Software Engineering, 6th edn. Addison Wesley, Reading (2000)","edition":"6"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Telelogic Tau Logicscope v5.1: Basic Concept (2001)","DOI":"10.1049\/cp:20010894"},{"key":"11_CR14","unstructured":"RFI: Applicazione dell\u2019SCMT: caratteristiche di codificazione degli impianti BACC ed integrazioni tecnico-normative, Roma (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30138-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T22:36:50Z","timestamp":1740523010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}