{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:34Z","timestamp":1760202754084},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,11,20]],"date-time":"2017-11-20T00:00:00Z","timestamp":1511136000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s10009-017-0479-9","type":"journal-article","created":{"date-parts":[[2017,11,20]],"date-time":"2017-11-20T12:41:18Z","timestamp":1511181678000},"page":"441-465","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Model-based testing strategies and their (in)dependence on syntactic model representations"],"prefix":"10.1007","volume":"20","author":[{"given":"Wen-ling","family":"Huang","sequence":"first","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,11,20]]},"reference":[{"key":"479_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"479_CR2","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Caltais, G., Pous, D., Silva, A.: Brzozowski\u2019s and up-to algorithms for must testing. In: Shan, C. (ed.) Programming Languages and Systems\u201411th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9\u201311, 2013. Proceedings, Volume 8301 of Lecture Notes in Computer Science, pp. 1\u201316. Springer, Berlin (2013)","DOI":"10.1007\/978-3-319-03542-0_1"},{"key":"479_CR3","doi-asserted-by":"crossref","unstructured":"Braunstein, C., Haxthausen, A.E., Huang, W., 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\u00a02014, Number 8829 in Lecture Notes in Computer Science, pp. 380\u2013395. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11737-9_25"},{"issue":"2","key":"479_CR4","doi-asserted-by":"crossref","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 Inf. 48(2), 97\u2013147 (2011)","journal-title":"Acta Inf."},{"key":"479_CR5","unstructured":"CENELEC. EN 50128:2011 Railway applications\u2014communication, signalling and processing systems\u2014software for railway control and protection systems (2011)"},{"issue":"1","key":"479_CR6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/225871.225880","volume":"1","author":"K-T Cheng","year":"1996","unstructured":"Cheng, K.-T., Krishnakumar, A.S.: Automatic generation of functional vectors using the extended finite state machine model. ACM Trans. Des. Autom. Electron. Syst. 1(1), 57\u201379 (1996)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"issue":"3","key":"479_CR7","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":"479_CR8","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"6","key":"479_CR9","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S Fujiwara","year":"1991","unstructured":"Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17(6), 591\u2013603 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"479_CR10","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":"479_CR11","volume-title":"Algebraic Theory of Processes","author":"M Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"issue":"10","key":"479_CR12","doi-asserted-by":"crossref","first-page":"1330","DOI":"10.1109\/TC.2004.85","volume":"53","author":"RM Hierons","year":"2004","unstructured":"Hierons, R.M.: Testing from a nondeterministic finite state machine using adaptive state counting. IEEE Trans. Comput. 53(10), 1330\u20131342 (2004)","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"479_CR13","doi-asserted-by":"crossref","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)","journal-title":"STTT"},{"issue":"2","key":"479_CR14","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/s00165-016-0402-2","volume":"29","author":"W Huang","year":"2017","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing for nondeterministic systems. Form. Asp. Comput. 29(2), 335\u2013364 (2017)","journal-title":"Form. Asp. Comput."},{"key":"479_CR15","doi-asserted-by":"crossref","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.) Tests and Proofs\u20149th International Conference, TAP 2015, Held as Part of STAF 2015, L\u2019Aquila, Italy, July 22\u201324, 2015. Proceedings, Volume 9154 of Lecture Notes in Computer Science, pp. 155\u2013172. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-21215-9_10"},{"key":"479_CR16","unstructured":"ISO\/DIS 26262-4. Road vehicles\u2014functional safety\u2014part 4: product development: system level. Technical report. International Organization for Standardization (2009)"},{"issue":"2","key":"479_CR17","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)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"479_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems. Lecture Notes in Computer Science","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer, Berlin (1980)"},{"key":"479_CR19","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":"479_CR20","unstructured":"Peleska, J.: Formal Methods and the Development of Dependable Systems. Number 9612. Christian-Albrechts-Universit\u00e4t Kiel, Institut fr Informatik und Praktische Mathematik, Habilitationsschrift (1996)"},{"key":"479_CR21","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Industrial-strength model-based testing\u2014state 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, Volume of 111 Electronic Proceedings in Theoretical Computer Science, pp. 3\u201328. Open Publishing Association (2013)","DOI":"10.4204\/EPTCS.111.1"},{"key":"479_CR22","doi-asserted-by":"crossref","unstructured":"Peleska, J., Honisch, A., Lapschies, F., L\u00f6ding, H., Schmid, H., Smuda, P., Vorobev, E., Zahlten, C.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Wolff, B., Zaidi, F. (eds.) Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011, volume 7019 of LNCS, pp. 146\u2013161. IFIP WG 6.1, Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24580-0_11"},{"key":"479_CR23","doi-asserted-by":"crossref","unstructured":"Peleska, J., Huang, W.: Model-based testing strategies and their (in)dependence on syntactic model representations. In: ter Beek, M.H., Gnesi, S., Knapp, A. (eds.) Critical Systems: Formal Methods and Automated Verification-Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26\u201328, 2016, Proceedings, volume 9933 of Lecture Notes in Computer Science, pp. 3\u201321. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-45943-1_1"},{"key":"479_CR24","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. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification-First International Conference, RSSRail 2016, Paris, France, June 28\u201330, 2016, Proceedings, volume 9707 of Lecture Notes in Computer Science, pp. 32\u201349. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-33951-1_3"},{"key":"479_CR25","doi-asserted-by":"crossref","unstructured":"Peleska, J., Siegel, M.: From testing theory to test driver implementation. In: Gaudel, M.-C., Woodcock, J. (eds.) FME\u201996: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18\u201322, 1996, Proceedings, volume 1051 of Lecture Notes in Computer Science, pp. 538\u2013556. Springer, Berlin (1996)","DOI":"10.1007\/3-540-60973-3_106"},{"key":"479_CR26","first-page":"53","volume":"19","author":"J Peleska","year":"1997","unstructured":"Peleska, J., Siegel, M.: Test automation of safety-critical reactive systems. S. Afr. Comput. J. 19, 53\u201377 (1997)","journal-title":"S. Afr. Comput. J."},{"key":"479_CR27","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N.: Adaptive testing of deterministic implementations specified by nondeterministic FSMs. In: Wolff, B., Zadi, F. (eds.) Testing Software and Systems. Number 7019 in Lecture Notes in Computer Science, pp. 162\u2013178. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24580-0_12"},{"key":"479_CR28","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N.: Adaptive testing of nondeterministic systems with FSM. In: 15th International IEEE Symposium on High-Assurance Systems Engineering. HASE 2014, Miami Beach, FL, USA, January 9\u201311, 2014, pp. 224\u2013228. IEEE Computer Society, Washington (2014)","DOI":"10.1109\/HASE.2014.39"},{"key":"479_CR29","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-0-387-35079-0_10","volume-title":"Formal Description Techniques IX\u2014Theory, Application and Tools","author":"A Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., von Bochmann, G.: Fault models for testing in context. In: Gotzhein, R., Bredereke, J. (eds.) Formal Description Techniques IX\u2014Theory, Application and Tools, pp. 163\u2013177. Chapman & Hall, New York (1996)"},{"key":"479_CR30","first-page":"224","volume-title":"Dependable Software Systems Engineering, NATO Science for Peace and Security Series, D: Information and Communication Security","author":"A Pretschner","year":"2015","unstructured":"Pretschner, A.: Defect-based testing. In: Irlbeck, M., Peled, D.A., Pretschner, A. (eds.) Dependable Software Systems Engineering, NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 40, pp. 224\u2013245. IOS Press, Amsterdam (2015)"},{"key":"479_CR31","volume-title":"A Classical Mind: Essays in Honour of C. A. R. Hoare","year":"1994","unstructured":"Roscoe, A.W. (ed.): A Classical Mind: Essays in Honour of C. A. R. Hoare. Prentice Hall International Ltd., Hertfordshire (1994)"},{"key":"479_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"AW Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Springer, London (2010)"},{"key":"479_CR33","unstructured":"RTCA SC-205\/EUROCAE WG-71. Software Considerations in Airborne Systems and Equipment Certification. Technical report RTCA\/DO-178C. RTCA Inc, Washington (2011)"},{"issue":"1","key":"479_CR34","doi-asserted-by":"crossref","first-page":"23","DOI":"10.2168\/LMCS-9(1:9)2013","volume":"9","author":"A Silva","year":"2013","unstructured":"Silva, A., Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M.: Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1), 23 (2013)","journal-title":"Log. Methods Comput. Sci."},{"key":"479_CR35","volume-title":"Abstract Automata","author":"PH Starke","year":"1972","unstructured":"Starke, P.H.: Abstract Automata. Elsevier, Amsterdam (1972)"},{"key":"479_CR36","doi-asserted-by":"crossref","unstructured":"Taromirad, M., Mousavi, M.R.: Gray-box conformance testing for symbolic reactive state machines. In: Dastani, M., Sirjani, M. (eds.) Fundamentals of Software Engineering\u20147th International Conference, FSEN 2017, Tehran, Iran, April 26\u201328, 2017, Revised Selected Papers, Volume 10522 of Lecture Notes in Computer Science, pp. 228\u2013243. Springer, Berlin (2017)","DOI":"10.1007\/978-3-319-68972-2_15"},{"issue":"1","key":"479_CR37","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: implementation relations and test generation. Comput. Netw. ISDN Syst. 29(1), 49\u201379 (1996)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"479_CR38","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":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-017-0479-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0479-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0479-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T10:29:44Z","timestamp":1570357784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-017-0479-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,20]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["479"],"URL":"https:\/\/doi.org\/10.1007\/s10009-017-0479-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,20]]}}}