{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:49:58Z","timestamp":1725752998248},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412011"},{"type":"electronic","value":"9783642412028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41202-8_9","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T01:11:19Z","timestamp":1382317879000},"page":"115-130","source":"Crossref","is-referenced-by-count":3,"title":["Generation of Checking Sequences Using Identification Sets"],"prefix":"10.1007","author":[{"given":"Faimison Rodrigues","family":"Porto","sequence":"first","affiliation":[]},{"given":"Andre Takeshi","family":"Endo","sequence":"additional","affiliation":[]},{"given":"Adenilso","family":"Simao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"A. Aho","year":"1991","unstructured":"Aho, A., Dahbura, A., Lee, D., Uyar, M.: An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours. IEEE Transactions on Communications\u00a039, 1604\u20131615 (1991)","journal-title":"IEEE Transactions on Communications"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1109\/T-C.1974.224043","volume":"23","author":"R.T. Boute","year":"1974","unstructured":"Boute, R.T.: Distinguishing sets for optimal state identification in checking experiments. IEEE Transactions on Computers\u00a023, 874\u2013877 (1974)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/11430230_11","volume-title":"Testing of Communicating Systems","author":"J. Chen","year":"2005","unstructured":"Chen, J., Hierons, R.M., Ural, H., Yenigun, H.: Eliminating redundant tests in a checking sequence. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 146\u2013158. Springer, Heidelberg (2005)"},{"issue":"6","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.infsof.2013.01.001","volume":"55","author":"A.T. Endo","year":"2013","unstructured":"Endo, A.T., Simao, A.: Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. Information and Software Technology\u00a055(6), 1045\u20131062 (2013)","journal-title":"Information and Software Technology"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., van Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering\u00a017, 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_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":"9_CR7","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G. Gonenc","year":"1970","unstructured":"Gonenc, G.: A method for the design of fault detection experiments. IEEE Transactions on Computers\u00a019, 551\u2013558 (1970)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Annual IEEE Symposium on Foundations of Computer Science, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"key":"9_CR9","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 Transactions on Computers\u00a055, 618\u2013629 (2006)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., L\u00fcttgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal specifications to support testing. ACM Computing Surveys\u00a041, 1\u201376 (2009)","journal-title":"ACM Computing Surveys"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/12.980020","volume":"51","author":"R.M. Hierons","year":"2002","unstructured":"Hierons, R.M., Ural, H.: Reduced length checking sequences. IEEE Transactions on Computers\u00a051, 93\u201399 (2002)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE\u00a084, 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Moore, E.F.: Gedanken Experiments on Sequential Machines. In: Automata Studies. Annals of Mathematical Studies, vol.\u00a034, pp. 129\u2013153 (1956)","DOI":"10.1515\/9781400882618-006"},{"key":"9_CR14","unstructured":"R-Project: The R project for statistical computing (2013), \n                    \n                      http:\/\/www.r-project.org\/"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1016\/0140-3664(96)81589-1","volume":"18","author":"A. Rezaki","year":"1995","unstructured":"Rezaki, A., Ural, H.: Construction of checking sequences based on characterization sets. Computer Communications\u00a018, 911\u2013920 (1995)","journal-title":"Computer Communications"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-68524-1_12","volume-title":"Testing of Software and Communicating Systems","author":"A.S. Sim\u00e3o","year":"2008","unstructured":"Sim\u00e3o, A.S., Petrenko, A.: Generating checking sequences for partial reduced finite state machines. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 153\u2013168. Springer, Heidelberg (2008)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Simao, A., Petrenko, A.: Checking sequence generation using state distinguishing subsequences. In: The IEEE International Conference on Software Testing, Verification, and Validation Workshops, pp. 48\u201356 (2009)","DOI":"10.1109\/ICSTW.2009.25"},{"key":"9_CR18","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 Transactions on Computers\u00a046, 93\u201399 (1997)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/11754008_18","volume-title":"Testing of Communicating Systems","author":"H. Ural","year":"2006","unstructured":"Ural, H., Zhang, F.: Reducing the lengths of checking sequences by overlapping. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 274\u2013288. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41202-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:45:59Z","timestamp":1558629959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41202-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412011","9783642412028"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41202-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}