{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T20:50:21Z","timestamp":1771275021185,"version":"3.50.1"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T00:00:00Z","timestamp":1490572800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10270-017-0595-8","type":"journal-article","created":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T03:31:41Z","timestamp":1490585501000},"page":"423-443","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Experimental evaluation of a novel equivalence class partition testing strategy"],"prefix":"10.1007","volume":"18","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":[[2017,3,27]]},"reference":[{"key":"595_CR1","doi-asserted-by":"publisher","unstructured":"Aichernig, B., Brandl, H., J\u00f6bstl, E., Krenn, W., Schlick, R., Tiran, S.: MoMuT::UML model-based mutation testing for UML. In: Proceedings of the 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u20138 (2015). doi: 10.1109\/ICST.2015.7102627","DOI":"10.1109\/ICST.2015.7102627"},{"issue":"8","key":"595_CR2","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. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"595_CR3","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-box system testing of real-time embedded systems using random and search-based testing. In: Proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS\u201910, pp. 95\u2013110. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16573-3_8"},{"key":"595_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"595_CR5","doi-asserted-by":"publisher","unstructured":"Belinfante, A.: JTorX: A tool for on-line model-driven test derivation and execution. In: SpringerLink, pp. 266\u2013270. Springer, Berlin (2010). doi: 10.1007\/978-3-642-12002-2_21","DOI":"10.1007\/978-3-642-12002-2_21"},{"key":"595_CR6","doi-asserted-by":"publisher","unstructured":"Biere, A., Heljanko, K., Junttila, T., Latvala, T., Schuppan, V.: Linear encodings of bounded LTL model checking. Log. Methods Comput. Sci. (2006). doi: 10.2168\/LMCS-2(5:5)2006 . arXiv: cs\/0611029","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"595_CR7","first-page":"380","volume-title":"Proceedings of the ICFEM 2014, No. 8829 in Lecture Notes in Computer Science","author":"C Braunstein","year":"2014","unstructured":"Braunstein, C., Haxthausen, A.E., Huang, W.L., H\u00fcbner, F., Peleska, J., Schulze, U., Hong, L.V.: Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In: Merz, S., Pang, J. (eds.) Proceedings of the ICFEM 2014, No. 8829 in Lecture Notes in Computer Science, pp. 380\u2013395. Springer, Berlin (2014)"},{"key":"595_CR8","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. Technical Report, Embedded Systems Testing Benchmarks Site (2014-04-30). http:\/\/www.mbt-benchmarks.org"},{"issue":"2","key":"595_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s00236-011-0133-z","volume":"48","author":"A Cavalcanti","year":"2011","unstructured":"Cavalcanti, A., Gaudel, M.C.: Testing for refinement in circus. Acta Inform. 48(2), 97\u2013147 (2011)","journal-title":"Acta Inform."},{"issue":"1","key":"595_CR10","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. J. Syst. Softw. 83(1), 60\u201366 (2010)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"595_CR11","doi-asserted-by":"publisher","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":"595_CR12","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":"595_CR13","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: Combination of abstractions in the Astr\u00e9e static analyzer. In: Okada, M., Satoh, I. (eds.) Eleventh Annual Asian Computing Science Conference (ASIAN\u201906), pp. 1\u201324. Springer, Berlin, LNCS (2006) (to appear)","DOI":"10.1007\/978-3-540-77505-8_23"},{"issue":"3","key":"595_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10703-009-0089-6","volume":"35","author":"P Cousot","year":"2009","unstructured":"Cousot, P., Cousot, R., Feret, J., Min\u00e9, A., Mauborgne, L., Rival, X.: Why does Astr\u00e9e scale up? Form. Methods Syst. Des. (FMSD) 35(3), 229\u2013264 (2009)","journal-title":"Form. Methods Syst. Des. (FMSD)"},{"key":"595_CR15","doi-asserted-by":"publisher","unstructured":"Dranidis, D., Bratanis, K., Ipate, F.: JSXM: A tool for automated test generation. In: SpringerLink, pp. 352\u2013366. Springer, Berlin (2012). doi: 10.1007\/978-3-642-33826-7_25","DOI":"10.1007\/978-3-642-33826-7_25"},{"key":"595_CR16","unstructured":"Ernits, J.P., Kull, A., Raiend, K., Vain, J.: Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) Formal Approaches to Software Testing and Runtime Verification, No. 4262 in Lecture Notes in Computer Science, pp. 85\u201399. Springer, Berlin (2006). http:\/\/link.springer.com\/chapter\/10.1007\/11940197_6"},{"issue":"6","key":"595_CR17","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochmann, G.V., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17(6), 591\u2013603 (1991). doi: 10.1109\/32.87284","journal-title":"IEEE Trans. Softw. Eng."},{"key":"595_CR18","first-page":"82","volume-title":"TAPSOFT, Lecture Notes in Computer Science","author":"MC Gaudel","year":"1995","unstructured":"Gaudel, M.C.: Testing can be formal, too. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) TAPSOFT, Lecture Notes in Computer Science, vol. 915, pp. 82\u201396. Springer, New York (1995)"},{"key":"595_CR19","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":"595_CR20","first-page":"327","volume-title":"TACAS, Lecture Notes in Computer Science","author":"HS Hong","year":"2002","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage and generation. In: Katoen, J.P., Stevens, P. (eds.) TACAS, Lecture Notes in Computer Science, vol. 2280, pp. 327\u2013341. Springer, New York (2002)"},{"issue":"3","key":"595_CR21","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10009-014-0356-8","volume":"18","author":"W Huang","year":"2016","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing. STTT 18(3), 265\u2013283 (2016). doi: 10.1007\/s10009-014-0356-8","journal-title":"STTT"},{"key":"595_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0402-2","author":"W Huang","year":"2016","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing for nondeterministic systems. Form. Asp. Comput. (2016). doi: 10.1007\/s00165-016-0402-2","journal-title":"Form. Asp. Comput."},{"key":"595_CR23","doi-asserted-by":"publisher","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.) Proceedings of the Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L\u2019Aquila, Italy, July 22\u201324, 2015. Lecture Notes in Computer Science, vol. 9154, pp. 155\u2013172. Springer (2015). doi: 10.1007\/978-3-319-21215-9_10","DOI":"10.1007\/978-3-319-21215-9_10"},{"key":"595_CR24","unstructured":"IEEE Std 1666\u20132005: IEEE standard SystemC language reference manual. IEEE Computer Society, New York, USA (2006)"},{"key":"595_CR25","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":"595_CR26","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), pp. 433\u2013436. San Jose (2014)","DOI":"10.1145\/2610384.2628053"},{"key":"595_CR27","doi-asserted-by":"crossref","unstructured":"Kalaji, A.S., Hierons, R.M., Swift, S.: Generating feasible transition paths for testing from an extended finite state machine (EFSM). In: ICST, pp. 230\u2013239. IEEE Computer Society (2009)","DOI":"10.1109\/ICST.2009.29"},{"key":"595_CR28","doi-asserted-by":"publisher","unstructured":"K\u00e4stner, D., Ferdinand, C.: Applying abstract interpretation to verify EN-50128 software safety requirements. In: Lecomte et\u00a0al. [31], pp. 191\u2013202. doi: 10.1007\/978-3-319-33951-1_14","DOI":"10.1007\/978-3-319-33951-1_14"},{"key":"595_CR29","doi-asserted-by":"publisher","unstructured":"Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: Proceedings of the 15th International Symposium on Software Reliability Engineering, pp. 139\u2013150 (2004). doi: 10.1109\/ISSRE.2004.12","DOI":"10.1109\/ISSRE.2004.12"},{"key":"595_CR30","unstructured":"Lapschies, F.: SONOLAR homepage (2014). http:\/\/www.informatik.uni-bremen.de\/agbs\/florian\/sonolar\/"},{"key":"595_CR31","doi-asserted-by":"publisher","unstructured":"Lecomte, T., Pinger, R., Romanovsky, A. (eds.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification\u2014First International Conference, RSSRail 2016, Paris, France, June 28\u201330, 2016, Proceedings, Lecture Notes in Computer Science, vol. 9707. Springer (2016). doi: 10.1007\/978-3-319-33951-1","DOI":"10.1007\/978-3-319-33951-1"},{"issue":"2","key":"595_CR32","doi-asserted-by":"publisher","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). doi: 10.1109\/32.265636","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"595_CR33","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.v15:2","volume":"15","author":"YS Ma","year":"2005","unstructured":"Ma, Y.S., Offutt, J., Kwon, Y.R.: MuJava: an automated class mutation system. Softw. Test. Verif. Reliab. 15(2), 97\u2013133 (2005). doi: 10.1002\/stvr.v15:2","journal-title":"Softw. Test. Verif. Reliab."},{"key":"595_CR34","doi-asserted-by":"publisher","unstructured":"Mueller-Gritschneder, D., Maier, P.R., Greim, M., Schlichtmann, U.: System C-based multi-level error injection for the evaluation of fault-tolerant systems. In: Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), pp. 460\u2013463 (2014). doi: 10.1109\/ISICIR.2014.7029567","DOI":"10.1109\/ISICIR.2014.7029567"},{"key":"595_CR35","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML), superstructure, version 2.4.1. Technical Report, OMG (2011)"},{"key":"595_CR36","unstructured":"Object Management Group: OMG Systems Modeling Language (OMG SysML), Version 1.4. Technical Report, Object Management Group (2015). http:\/\/www.omg.org\/spec\/SysML\/1.4"},{"key":"595_CR37","doi-asserted-by":"publisher","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, Rome, Italy, 17th March 2013, Electronic Proceedings in Theoretical Computer Science, vol. 111, pp. 3\u201328. Open Publishing Association (2013). doi: 10.4204\/EPTCS.111.1","DOI":"10.4204\/EPTCS.111.1"},{"key":"595_CR38","doi-asserted-by":"publisher","unstructured":"Peleska, J., Huang, W., H\u00fcbner, F.: A novel approach to HW\/SW integration testing of route-based interlocking system controllers. In: Lecomte et\u00a0al. [31], pp. 32\u201349. doi: 10.1007\/978-3-319-33951-1_3","DOI":"10.1007\/978-3-319-33951-1_3"},{"key":"595_CR39","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 (2016-03-10). Available under http:\/\/www.cs.uni-bremen.de\/agbs\/jp\/jp_papers_e.html","DOI":"10.1007\/978-3-319-33951-1_3"},{"key":"595_CR40","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-319-33951-1_3","volume-title":"Reliability, Safety, and Security of Railway Systems Modelling, Analysis, Verification, and Certification, No 9707 in Lecture Notes in Computer Science","author":"J Peleska","year":"2016","unstructured":"Peleska, J., Huang, W.L., H\u00fcbner, F.: A novel approach to HW\/SW integration testing of route-based interlocking system controllers. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems Modelling, Analysis, Verification, and Certification, No 9707 in Lecture Notes in Computer Science, pp. 32\u201349. Springer, New York (2016). doi: 10.1007\/978-3-319-33951-1_3"},{"key":"595_CR41","first-page":"53","volume":"19","author":"J Peleska","year":"1997","unstructured":"Peleska, J., Siegel, M.: Test automation of safety-critical reactive systems. South Afr. Comput. J. 19, 53\u201377 (1997)","journal-title":"South Afr. Comput. J."},{"key":"595_CR42","doi-asserted-by":"crossref","unstructured":"Peleska, J., Vorobev, E., Lapschies, F.: Automated test case generation with SMT-solving and abstract interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) Nasa Formal Methods, Third International Symposium, NFM 2011, LNCS, vol. 6617, pp. 298\u2013312. Springer, Pasadena (2011)","DOI":"10.1007\/978-3-642-20398-5_22"},{"key":"595_CR43","doi-asserted-by":"publisher","unstructured":"Perez, J., Azkarate-askasua, M., Perez, A.: Codesign and simulated fault injection of safety-critical embedded systems using systemC. In: Dependable Computing Conference (EDCC), 2010 European, pp. 221\u2013229 (2010). doi: 10.1109\/EDCC.2010.34","DOI":"10.1109\/EDCC.2010.34"},{"key":"595_CR44","doi-asserted-by":"publisher","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). doi: 10.1007\/s10009-012-0240-3","DOI":"10.1007\/s10009-012-0240-3"},{"key":"595_CR45","doi-asserted-by":"publisher","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, Boca Raton (1996)"},{"key":"595_CR46","doi-asserted-by":"publisher","unstructured":"Reid, S.C.: An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: Proceedings Fourth International Software Metrics Symposium, pp. 64\u201373 (1997). doi: 10.1109\/METRIC.1997.637166","DOI":"10.1109\/METRIC.1997.637166"},{"issue":"1\u20132","key":"595_CR47","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. Theor. Comput. Sci. 254(1\u20132), 225\u2013257 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"595_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing, Lecture Notes in Computer Science","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.) Formal Methods and Testing, Lecture Notes in Computer Science, vol. 4949, pp. 1\u201338. Springer, New York (2008)"},{"key":"595_CR49","unstructured":"UNISIG: ERTMS\/ETCS System Requirements Specification, Chapter\u00a03, Principles, vol. Subset-026-3, chap.\u00a03 (2012). Issue 3.3.0"},{"key":"595_CR50","first-page":"98","volume":"4","author":"MP Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika (Transl.) 4, 98\u2013108 (1973)","journal-title":"Kibernetika (Transl.)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0595-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0595-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0595-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:39:27Z","timestamp":1750181967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0595-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,27]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["595"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0595-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,27]]},"assertion":[{"value":"8 July 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 January 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}