{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T06:01:23Z","timestamp":1777096883540,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540257233","type":"print"},{"value":"9783540320197","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11408901_23","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T13:04:14Z","timestamp":1279026254000},"page":"305-317","source":"Crossref","is-referenced-by-count":11,"title":["A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pasquale","family":"di Tommaso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esposito","family":"Rosaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flammini","family":"Francesco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marmo","family":"Pietro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orazzo","family":"Antonio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","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":"23_CR2","unstructured":"CENELEC: EN 50126 Railways Applications \u2013 The specification and demonstration of Reliability, Maintainability and Safety (RAMS)"},{"key":"23_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":"23_CR4","unstructured":"Wegener, J., Grimm, K., Grochtmann, M.: Systematic Testing of Real-Time Systems. In: Conference Papers of EuroSTAR 1996, Amsterdam (1996)"},{"key":"23_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":"23_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":"23_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":"23_CR8","unstructured":"Grimm, K.: Systematic Testing of Software-Based Systems. In: Proceedings of the 2nd Annual ENCRESS Conference, Paris (1996)"},{"key":"23_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":"23_CR10","unstructured":"UNISIG ERTMS\/ETCS \u2013 Class1 Issue 2.2.2 Subset 026-1"},{"key":"23_CR11","unstructured":"Ministero dei Trasporti \u2013 Ferrovie dello Stato \u2013 Direzione Generale: Norme per l\u2019Ubicazione e l\u2019Aspetto dei Segnali"},{"key":"23_CR12","volume-title":"Software Engineering","author":"I. Sommervill","year":"2000","unstructured":"Sommervill, I.: Software Engineering, 6th edn. Addison Wesley, Reading (2000)","edition":"6"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Telelogic Tau Logicscope v5.1: Basic Concept (2001)","DOI":"10.1049\/cp:20010894"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Graves, T.L., Harrold, M.J., Kim, J.M., Porter, A., Rothermel, G.: An Empirical Study of Regression Test Selection Techniques. In: Proceedings of the 20th International Conference on Software Engineering, pp. 188\u2013197 (1998)","DOI":"10.1109\/ICSE.1998.671115"},{"key":"23_CR15","volume-title":"Automated Software Testing","author":"E. Dustin","year":"1999","unstructured":"Dustin, E., Rashka, J., Paul, J.: Automated Software Testing. Addison Wesley, Reading (1999)"},{"key":"23_CR16","unstructured":"Pettichord, B.: Success with Test Automation. In: Quality Week, San Francisco (2001)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing - EDCC 5"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11408901_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T21:42:08Z","timestamp":1740260528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11408901_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257233","9783540320197"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11408901_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}