{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:29Z","timestamp":1740097049129,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319108810"},{"type":"electronic","value":"9783319108827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10882-7_6","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T02:54:19Z","timestamp":1410404059000},"page":"80-96","source":"Crossref","is-referenced-by-count":3,"title":["Partial Models and Weak Equivalence"],"prefix":"10.1007","author":[{"given":"Adilson Luiz","family":"Bonifacio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaldo Vieira","family":"Moura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"139","volume-title":"Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM","author":"A.L. Bonifacio","year":"2008","unstructured":"Bonifacio, A.L., Moura, A.V., da, S., Simao, A.: A generalized model-based test generation method. In: Cerone, A., Gruner, S. (eds.) Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM, November 10-14, pp. 139\u2013148. IEEE Computer Society, Cape Town (2008)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1142\/S0129054112500013","volume":"23","author":"A.L. Bonifacio","year":"2012","unstructured":"Bonifacio, A.L., Moura, A.V., da Silva Sim\u00e3o, A.: Model partitions and compact test case suites. Int. J. Found. Comput. Sci.\u00a023(1), 147\u2013172 (2012)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/11562436_16","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"R. Dorofeeva","year":"2005","unstructured":"Dorofeeva, R., El-Fakih, K., Yevtushenko, N.: An improved conformance testing method. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 204\u2013218. Springer, Heidelberg (2005)"},{"issue":"6","key":"6_CR5","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 Transactions on Software Engineering\u00a017(6), 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR6","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":"6_CR7","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, USA, November 11-13, pp. 95\u2013110. IEEE (1964)","DOI":"10.1109\/SWCT.1964.8"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10515-006-7739-3","volume":"13","author":"R.M. Hierons","year":"2006","unstructured":"Hierons, R.M.: Separating sequence overlap for automated test sequence generation. Automated Software Engg.\u00a013(2), 283\u2013301 (2006)","journal-title":"Automated Software Engg."},{"issue":"9","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1109\/TC.2002.1032630","volume":"51","author":"R.M. Hierons","year":"2002","unstructured":"Hierons, R.M., Ural, H.: Reduced length checking sequences. IEEE Trans. Comput.\u00a051(9), 1111\u20131117 (2002), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/TC.2002.1032630","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"6_CR10","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1109\/TC.2006.80","volume":"55","author":"R.M. Hierons","year":"2006","unstructured":"Hierons, R.M., Ural, H.: Optimizing the length of checking sequences. IEEE Trans. Comput.\u00a055(5), 618\u2013629 (2006), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/TC.2006.80","journal-title":"IEEE Trans. Comput."},{"issue":"8","key":"6_CR11","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1109\/TC.2010.17","volume":"59","author":"A.S. Simao da","year":"2010","unstructured":"da Simao, A.S., Petrenko, P.: Checking completeness of tests for finite state machines. IEEE Trans. Computers\u00a059(8), 1023\u20131032 (2010)","journal-title":"IEEE Trans. Computers"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/12.559807","volume":"46","author":"H. Ural","year":"1997","unstructured":"Ural, H., Wu, X., Zhang, F.: On minimizing the lengths of checking sequences. IEEE Trans. Comput.\u00a046(1), 93\u201399 (1997), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/12.559807","journal-title":"IEEE Trans. Comput."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10882-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:12:27Z","timestamp":1558977147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10882-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319108810","9783319108827"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10882-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}