{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:21:45Z","timestamp":1740097305162,"version":"3.37.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319339504"},{"type":"electronic","value":"9783319339511"}],"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-33951-1_3","type":"book-chapter","created":{"date-parts":[[2016,6,14]],"date-time":"2016-06-14T05:21:26Z","timestamp":1465881686000},"page":"32-49","source":"Crossref","is-referenced-by-count":10,"title":["A Novel Approach to HW\/SW Integration Testing of Route-Based Interlocking System Controllers"],"prefix":"10.1007","author":[{"given":"Jan","family":"Peleska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wen-ling","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"H\u00fcbner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,15]]},"reference":[{"issue":"8","key":"3_CR1","doi-asserted-by":"crossref","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E.K., Chen, T.Y., Clark, J.A., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., McMinn, P.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"3_CR2","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE\u20134","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE\u20134(3), 178\u2013186 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing. Int. J. Softw. Tools Technol. Transf. pp. 1\u201319 (2014). http:\/\/dx.doi.org\/10.1007\/s10009-014-0356-8","DOI":"10.1007\/s10009-014-0356-8"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-319-21215-9_10","volume-title":"Tests and Proofs","author":"F H\u00fcbner","year":"2015","unstructured":"H\u00fcbner, F., Huang, W., Peleska, J.: Experimental evaluation of a novel equivalence class partition testing strategy. In: Blanchette, J.C., Kosmatov, N. (eds.) TAP 2015. LNCS, vol. 9154, pp. 155\u2013172. Springer, Heidelberg (2015). http:\/\/dx.doi.org\/10.1007\/978-3-319-21215-9_10"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Just, R.: The Major mutation framework: efficient and scalable mutation analysis for Java. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), San Jose, pp. 433\u2013436, 23\u201325 July 2014","DOI":"10.1145\/2610384.2628053"},{"issue":"2","key":"3_CR6","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G Luo","year":"1994","unstructured":"Luo, G., von Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method. IEEE Trans. Softw. Eng. 20(2), 149\u2013162 (1994). http:\/\/doi.ieeecomputersociety.org\/10.1109\/32.265636","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Peleska, J., Huang, W., H\u00fcbner, F.: A novel approach to hw\/sw integration testing of route-based interlocking system controllers - technical report. Technical report, University of Bremen, 10 Mar 2016. http:\/\/www.cs.uni-bremen.de\/agbs\/jp\/jp_papers_e.html","DOI":"10.1007\/978-3-319-33951-1_3"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-0-387-35079-0_10","volume-title":"Formal Description Techniques IX - Theory, Application and Tools","author":"A Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., Bochmann, G.V.: Fault models for testing in context. In: Gotzhein, R., Bredereke, J. (eds.) Formal Description Techniques IX - Theory, Application and Tools, pp. 163\u2013177. Chapman & Hall, London (1996)"},{"key":"3_CR9","unstructured":"Vu, L.H., Haxthausen, A.E.: Formal development and verification of railway control systems - in the context of ERTMS\/ETCS level 2. Ph.D. thesis (2015)"},{"key":"3_CR10","series-title":"Communications in Computer and Information Science","first-page":"223","volume-title":"Formal Techniques for Safety-Critical Systems","author":"LH Vu","year":"2015","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: Formal modeling and verification of interlocking systems featuring sequential release. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2014. CCIS, vol. 476, pp. 223\u2013238. Springer, Heidelberg (2015). http:\/\/dx.doi.org\/10.1007\/978-3-319-17581-2_15"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33951-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T14:25:27Z","timestamp":1568039127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33951-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319339504","9783319339511"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33951-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}