{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:19:26Z","timestamp":1742912366436,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319212142"},{"type":"electronic","value":"9783319212159"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-21215-9_10","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T13:36:34Z","timestamp":1437053794000},"page":"155-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy"],"prefix":"10.1007","author":[{"given":"Felix","family":"H\u00fcbner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wen-ling","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"issue":"8","key":"10_CR1","doi-asserted-by":"publisher","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. Journal of Systems and Software 86(8), 1978\u20132001 (2013)","journal-title":"Journal of Systems and Software"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-16573-3_8","volume-title":"Testing Software and Systems","author":"A Arcuri","year":"2010","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-Box system testing of real-time embedded systems using random and search-based testing. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 95\u2013110. Springer, Heidelberg (2010)"},{"key":"10_CR3","unstructured":"Baier, C., Katoen, J.: Principles of model checking. MIT Press (2008)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Biere, A., Heljanko, K., Junttila, T., Latvala, T., Schuppan, V.: Linear encodings of bounded LTL model checking. Logical Methods in Computer Science 2(5) (November 2006), arXiv: 0611029, arXiv: cs\/0611029","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/978-3-319-11737-9_25","volume-title":"Formal Methods and Software Engineering","author":"C Braunstein","year":"2014","unstructured":"Braunstein, C., Haxthausen, A.E., Huang, W., H\u00fcbner, F., Peleska, J., Schulze, U., Vu Hong, L.: Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 380\u2013395. Springer, Heidelberg (2014)"},{"key":"10_CR6","unstructured":"Braunstein, C., Huang, W.l., Peleska, J., Schulze, U., H\u00fcbner, F., Haxthausen, A.E., Hong, L.V.: A SysML test model and test suite for the ETCS ceiling speed monitor. Tech. rep., Embedded Systems Testing Benchmarks Site (April 30, 2014). http:\/\/www.mbt-benchmarks.org"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jss.2009.02.022","volume":"83","author":"TY Chen","year":"2010","unstructured":"Chen, T.Y., Kuo, F.C., Merkel, R.G., Tse, T.H.: Adaptive random testing: the art of test case diversity. Journal of Systems and Software 83(1), 60\u201366 (2010)","journal-title":"Journal of Systems and Software"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering SE 4(3), 178\u2013186 (1978)","DOI":"10.1109\/TSE.1978.231496"},{"key":"10_CR9","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering 17(6), 591\u2013603 (1991)","DOI":"10.1109\/32.87284"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M-C Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing can be formal, too. In: Mosses, P.D., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, pp. 82\u201396. Springer, Heidelberg (1995)"},{"key":"10_CR12","volume-title":"Introduction to the theory of finite-state machines","author":"A Gill","year":"1962","unstructured":"Gill, A.: Introduction to the theory of finite-state machines. McGraw-Hill, New York (1962)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Huang, W.l., Peleska, J.: Complete model-based equivalence class testing. International Journal on Software Tools for Technology Transfer, 1\u201319 (2014). http:\/\/dx.doi.org\/10.1007\/s10009-014-0356-8","DOI":"10.1007\/s10009-014-0356-8"},{"key":"10_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, \u00c9.: Applied Interval Analysis. Springer, London (2001)"},{"key":"10_CR15","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, July 23\u201325, pp. 433\u2013436, San Jose, CA, USA (2014)","DOI":"10.1145\/2610384.2628053"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Ma, Y.S., Offutt, J., Kwon, Y.R.: MuJava: An Automated Class Mutation System: Research Articles. Softw. Test. Verif. Reliab. 15(2), 97\u2013133 (2005). http:\/\/dx.doi.org\/10.1002\/stvr.v15:2","DOI":"10.1002\/stvr.308"},{"key":"10_CR17","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML), superstructure, version 2.4.1. Tech. rep., OMG (2011)"},{"key":"10_CR18","unstructured":"Object Management Group: OMG Systems Modeling Language (OMG SysML$$^{TM}$$), Version 1.3. Tech. rep., Object Management Group (2012). http:\/\/www.omg.org\/spec\/SysML\/1.3"},{"key":"10_CR19","first-page":"53","volume":"19","author":"J Peleska","year":"1997","unstructured":"Peleska, J., Siegel, M.: Test automation of safety-critical reactive systems. South African Computer Journal 19, 53\u201377 (1997)","journal-title":"South African Computer Journal"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Industrial-strength model-based testing - state of the art and current challenges. In: Petrenko, A.K., Schlingloff, H. (eds.) Proceedings Eighth Workshop on Model-Based Testing. Electronic Proceedings in Theoretical Computer Science, vol. 111, pp. 3\u201328. Open Publishing Association, Rome (2013)","DOI":"10.4204\/EPTCS.111.1"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Simao, A., Maldonado, J.C.: Model-based testing of software and systems: Recent advances and challenges. Int. J. Softw. Tools Technol. Transf. 14(4), 383\u2013386 (2012). http:\/\/dx.doi.org\/10.1007\/s10009-012-0240-3","DOI":"10.1007\/s10009-012-0240-3"},{"issue":"1\u20132","key":"10_CR22","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.: Testing timed automata. Theoretical Computer Science 254(1\u20132), 225\u2013257 (2001)","journal-title":"Theoretical Computer Science"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"10_CR24","unstructured":"UNISIG: ERTMS\/ETCS System Requirements Specification, Chapter 3, Principles, vol. Subset-026-3, chap. 3, issue 3.3.0 (February 2012)"},{"key":"10_CR25","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika (Transl.) 4, 98\u2013108 (1973)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21215-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T13:04:26Z","timestamp":1676466266000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21215-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319212142","9783319212159"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21215-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}