{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:33Z","timestamp":1740124233114,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,10,22]],"date-time":"2018-10-22T00:00:00Z","timestamp":1540166400000},"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":["Software Qual J"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s11219-018-9421-y","type":"journal-article","created":{"date-parts":[[2018,10,22]],"date-time":"2018-10-22T13:02:15Z","timestamp":1540213335000},"page":"589-613","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Safety-complete test suites"],"prefix":"10.1007","volume":"27","author":[{"given":"Wen-ling","family":"Huang","sequence":"first","affiliation":[]},{"given":"Sadik","family":"\u00d6zoguz","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3667-9775","authenticated-orcid":false,"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,22]]},"reference":[{"key":"9421_CR1","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier, C., & Katoen, J. (2008). Principles of model checking. Cambridge: MIT Press."},{"issue":"3","key":"9421_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S. (1978). Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering SE, 4(3), 178\u2013186.","journal-title":"IEEE Transactions on Software Engineering SE"},{"key":"9421_CR3","doi-asserted-by":"publisher","unstructured":"Dorofeeva, R., El-Fakih, K., Yevtushenko, N. (2005). An improved conformance testing method. In: Wang, F. (ed) Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, Springer, Lecture Notes in Computer Science, vol. 3731, pp. 204\u2013218 . \n                    https:\/\/doi.org\/10.1007\/11562436_16\n                    \n                  .","DOI":"10.1007\/11562436_16"},{"key":"9421_CR4","doi-asserted-by":"publisher","unstructured":"Fernandez, J., Mounier, L., Pachon, C. (2003). Property oriented test case generation. In: Petrenko, A., Ulrich, A. (eds) Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, Springer, Lecture Notes in Computer Science, vol. 2931, pp. 147\u2013163 . \n                    https:\/\/doi.org\/10.1007\/978-3-540-24617-6_11\n                    \n                  .","DOI":"10.1007\/978-3-540-24617-6_11"},{"issue":"6","key":"9421_CR5","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S Fujiwara","year":"1991","unstructured":"Fujiwara, S., Gv, Bochmann, Khendek, F., Amalou, M., Ghedamsi, A. (1991). Test selection based on finite state models. IEEE Transactions on Software Engineering, 17(6), 591\u2013603. \n                    https:\/\/doi.org\/10.1109\/32.87284\n                    \n                  .","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"9421_CR6","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"AE Haxthausen","year":"2000","unstructured":"Haxthausen, A.E., & Peleska, J. (2000). Formal development and verification of a distributed railway control system. IEEE Transaction on Software Engineering, 26(8), 687\u2013701.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"9421_CR7","doi-asserted-by":"publisher","unstructured":"Huang, W., & Peleska, J. (2017a). Safety-complete test suites. In: Yevtushenko, N., Cavalli, AR., Yenig\u00fcn, H. (eds) Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, Springer, Lecture Notes in Computer Science, vol. 10533, pp. 145\u2013161. \n                    https:\/\/doi.org\/10.1007\/978-3-319-67549-7_9\n                    \n                  .","DOI":"10.1007\/978-3-319-67549-7_9"},{"key":"9421_CR8","doi-asserted-by":"publisher","unstructured":"Huang, Wl, & Peleska, J. (2017b). Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects of Computing, 29(2), 335\u2013364. \n                    https:\/\/doi.org\/10.1007\/s00165-016-0402-2\n                    \n                  .","DOI":"10.1007\/s00165-016-0402-2"},{"key":"9421_CR9","unstructured":"Huang, W.L., Peleska, J., Schulze, U. (2014). Contract support for an evolving SoS. Tech. Rep. D34.3, COMPASS Comprehensive Modelling for Advanced Systems of Systems, available under \n                    http:\/\/www.compass-research.eu\/deliverables.html\n                    \n                  ."},{"key":"9421_CR10","doi-asserted-by":"publisher","DOI":"10.1201\/9781315204970","volume-title":"The craft of Model-Based testing","author":"PC Jorgensen","year":"2017","unstructured":"Jorgensen, P.C. (2017). The craft of Model-Based testing. Boca Raton: CRC Press."},{"key":"9421_CR11","unstructured":"Li, S., & Qi, Z. (2004). Property-oriented testing: an approach to focusing testing efforts on behaviours of interest. In: Beydeda S., Gruhn V., Mayer J., Reussner R.H., Schweiggert F. (eds) Testing of Component-Based Systems and Software Quality, Proceedings of SOQUA 2004 (First International Workshop on Software Quality) and TECOS 2004 (Workshop Testing Component-Based Systems), GI, LNI, vol. 58, pp. 191\u2013206. \n                    http:\/\/subs.emis.de\/LNI\/Proceedings\/Proceedings58\/article3512.html\n                    \n                  ."},{"issue":"2","key":"9421_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G Luo","year":"1994","unstructured":"Luo, G., Bochmann, G., Petrenko, A. (1994). Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method. IEEE Trans Software Eng, 20(2), 149\u2013162. \n                    https:\/\/doi.org\/10.1109\/32.265636\n                    \n                  . \n                    http:\/\/doi.ieeecomputersociety.org\/10.1109\/32.265636\n                    \n                  .","journal-title":"IEEE Trans Software Eng"},{"key":"9421_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-0-387-34883-4_6","volume-title":"Selecting test sequences for partially-specified nondeterministic finite state machines","author":"G Luo","year":"1995","unstructured":"Luo, G., Petrenko, A.V., Bochmann, G. (1995). Selecting test sequences for partially-specified nondeterministic finite state machines, (pp. 95\u2013110). Boston: Springer US. \n                    https:\/\/doi.org\/10.1007\/978-0-387-34883-4_6\n                    \n                  ."},{"issue":"Supplement C","key":"9421_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2007.06.001","volume":"184","author":"PDL Machado","year":"2007","unstructured":"Machado, P.D.L., Silva, D.A., Mota, A.C. (2007). Towards property oriented testing. Electronic Notes in Theoretical Computer Science, 184(Supplement C), 3\u201319. \n                    https:\/\/doi.org\/10.1016\/j.entcs.2007.06.001\n                    \n                  . \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S157106610700432X\n                    \n                  .","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9421_CR15","unstructured":"Peleska, J., & Huang, Wl. (2017). Test automation - foundations and applications of model-based testing. University of Bremen, lecture notes, available under \n                    http:\/\/www.cs.uni-bremen.de\/agbs\/jp\/papers\/test-automation-huang-peleska.pdf\n                    \n                  ."},{"key":"9421_CR16","unstructured":"Petrenko, A., Yevtushenko, N., Lebedev, A., Das, A. (1993). Nondeterministic state machines in protocol conformance testing. In Rafiq, O. (Ed.) Protocol Test Systems, VI, Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, North-Holland, IFIP Transactions, vol. C-19 (pp. 363\u2013378)."},{"key":"9421_CR17","doi-asserted-by":"publisher","unstructured":"Safra, S. (1988). On the complexity of omega-automata. In Proceedings of the 29th annual symposium on foundations of computer science. SFCS \u201988 (pp. 319\u2013327). Washington: IEEE Computer Society, DOI \n                    https:\/\/doi.org\/10.1109\/SFCS.1988.21948\n                    \n                  , (to appear in print).","DOI":"10.1109\/SFCS.1988.21948"},{"issue":"6","key":"9421_CR18","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1002\/stvr.452","volume":"22","author":"A Sim\u00e3o","year":"2012","unstructured":"Sim\u00e3o, A, Petrenko, A., Yevtushenko, N. (2012). On reducing test length for FSMs with extra states. Software Testing, Verification and Reliability, 22(6), 435\u2013454. \n                    https:\/\/doi.org\/10.1002\/stvr.452\n                    \n                  . \n                    https:\/\/onlinelibrary.wiley.com\/doi\/abs\/10.1002\/stvr.452\n                    \n                  .","journal-title":"Software Testing, Verification and Reliability"},{"issue":"5","key":"9421_CR19","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"AP Sistla","year":"1994","unstructured":"Sistla, A.P. (1994). Safety, liveness and fairness in temporal logic. Formal Asp Comput, 6(5), 495\u2013512. \n                    https:\/\/doi.org\/10.1007\/BF01211865\n                    \n                  .","journal-title":"Formal Asp Comput"},{"key":"9421_CR20","first-page":"98","volume":"4","author":"MP Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P. (1973). Failure diagnosis of automata. Kibernetika (Transl), 4, 98\u2013108.","journal-title":"Kibernetika (Transl)"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-018-9421-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-018-9421-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-018-9421-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T20:17:43Z","timestamp":1571689063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-018-9421-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,22]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9421"],"URL":"https:\/\/doi.org\/10.1007\/s11219-018-9421-y","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2018,10,22]]},"assertion":[{"value":"22 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}