{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:44Z","timestamp":1725493244496},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766483"},{"type":"electronic","value":"9783540766506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76650-6_11","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T07:12:49Z","timestamp":1193382769000},"page":"171-190","source":"Crossref","is-referenced-by-count":2,"title":["Reducing Test Sequence Length Using Invertible Sequences"],"prefix":"10.1007","author":[{"given":"Lihua","family":"Duan","sequence":"first","affiliation":[]},{"given":"Jessica","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","first-page":"238","volume-title":"Proc. of 11th IEEE Fault Tolerant Computing Symposium","author":"S. Naito","year":"1981","unstructured":"Naito, S., Tsunoyama, M.: Fault detection for sequential machines by transition tours. In: Proc. of 11th IEEE Fault Tolerant Computing Symposium, pp. 238\u2013243. IEEE Computer Society Press, Los Alamitos (1981)"},{"issue":"11","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"A.V. Aho","year":"1991","unstructured":"Aho, A.V., Dahbura, A., Lee, D., Uyar, M.: An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. IEEE Trans. Comm.\u00a039(11), 1604\u20131615 (1991)","journal-title":"IEEE Trans. Comm."},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/90.222912","volume":"1","author":"R.E. Miller","year":"1993","unstructured":"Miller, R.E., Paul, S.: On the generation of minimal length conformance tests for communications protocols. IEEE\/ACM Transactions on Networking\u00a01(1), 116\u2013129 (1993)","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"15","key":"11_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"4","author":"K.K. Sabnani","year":"1988","unstructured":"Sabnani, K.K., Dahbura, A.: A protocol test generation procedure. Computer Networks and ISDN Systems\u00a04(15), 285\u2013297 (1988)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"6","key":"11_CR5","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 Trans. Computers\u00a019(6), 551\u2013558 (1970)","journal-title":"IEEE Trans. Computers"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proc. of 5th Ann. Symp. Switching Circuit Theory and Logical Design, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"issue":"1","key":"11_CR7","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(1), 93\u201399 (1997)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Software Eng.\u00a0SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0164-1212(01)00132-7","volume":"62","author":"R. Lai","year":"2002","unstructured":"Lai, R.: A survey of communication protocol testing. Journal of Systems and Software\u00a062, 21\u201346 (2002)","journal-title":"Journal of Systems and Software"},{"issue":"8","key":"11_CR10","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 \u2014 a survey. Proceedings of The IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of The IEEE"},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D.P. Sidhu","year":"1989","unstructured":"Sidhu, D.P., Leung, T.K.: Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering\u00a015(4), 413\u2013426 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR12","unstructured":"Motteler, H., Chung, A., Sidhu, D.: Fault coverage of UIO-based methods for protocol testing. In: Proc. of IFIP TC6\/WG6.1 6th International Workshop on Protocol Test Systems, pp. 21\u201333 (1994)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/11901433_25","volume-title":"Formal Methods and Software Engineering","author":"J. Chen","year":"2006","unstructured":"Chen, J., Duan, L.: Conditions for avoiding controllability problems in distributed testing. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 460\u2013477. Springer, Heidelberg (2006)"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1093\/comjnl\/39.4.325","volume":"39","author":"R.M. Hierons","year":"1996","unstructured":"Hierons, R.M.: Extending test sequence overlap by invertibility. The Computer Journal\u00a039(4), 325\u2013330 (1996)","journal-title":"The Computer Journal"},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1093\/comjnl\/40.4.220","volume":"40","author":"R.M. Hierons","year":"1997","unstructured":"Hierons, R.M.: Testing from a finite state machine: extending invertibility to sequences. The Computer Journal\u00a040(4), 220\u2013230 (1997)","journal-title":"The Computer Journal"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1145\/99508.99543","volume-title":"ACM SIGCOMM 1990","author":"B. Yang","year":"1990","unstructured":"Yang, B., Ural, H.: Protocol conformance test generation using multiple UIO sequence with overlapping. In: ACM SIGCOMM 1990, pp. 118\u2013125. ACM Press, New York (1990)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"9","key":"11_CR18","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 Transactions on Computers\u00a051(9), 1111\u20131117 (2002)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1007\/11569596_93","volume-title":"Computer and Information Sciences - ISCIS 2005","author":"K.T. Tekle","year":"2005","unstructured":"Tekle, K.T., Ural, H., Yalcin, M.C., Yenigun, H.: Generalizing redundancy elimination in checking sequences. In: Yolum, p., G\u00fcng\u00f6r, T., G\u00fcrgen, F., \u00d6zturan, C. (eds.) ISCIS 2005. LNCS, vol.\u00a03733, pp. 915\u2013926. Springer, Heidelberg (2005)"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1287\/opre.43.3.399","volume":"43","author":"H.A. Eiselt","year":"1995","unstructured":"Eiselt, H.A., Gendreau, M., Laporte, G.: Arc routing problems, part II: the Rural Postman Problem. Operations Research\u00a043, 399\u2013414 (1995)","journal-title":"Operations Research"},{"issue":"10","key":"11_CR21","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1109\/TC.2004.85","volume":"53","author":"R.M. Hierons","year":"2004","unstructured":"Hierons, R.M.: Testing from a non-deterministic finite state machine using adaptive state counting. IEEE Transactions on Computers\u00a053(10), 1330\u20131342 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.263756","volume":"20","author":"G. Luo","year":"1994","unstructured":"Luo, G., Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite state machines using a generalized Wp-method. IEEE Transactions on Software Engineering\u00a020, 149\u2013162 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR23","doi-asserted-by":"publisher","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 relation and test generation. Computer Networks and ISDN Systems\u00a029, 49\u201379 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"key":"11_CR24","first-page":"46","volume-title":"ICFEM 1998","author":"P.E. Ammann","year":"1998","unstructured":"Ammann, P.E., Black, P.E., Majurski, W.: Using model checking to generate tests from specifications. In: ICFEM 1998, pp. 46\u201354. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"4","key":"11_CR25","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s100090050044","volume":"2","author":"R. Vries","year":"2000","unstructured":"Vries, R.d., Tretmans, J.: On-the-fly conformance testing using SPIN. International Journal on Software Tools for Technology Transfer\u00a02(4), 382\u2013393 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-540-31848-4_8","volume-title":"Formal Approaches to Software Testing","author":"H.S. Hong","year":"2005","unstructured":"Hong, H.S., Ural, H.: Using model checking for reducing the cost of test generation. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 110\u2013124. Springer, Heidelberg (2005)"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya, B., Bochmann, G.V.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications\u00a032, 389\u2013395 (1984)","journal-title":"IEEE Transactions on Communications"}],"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-540-76650-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:57:13Z","timestamp":1619521033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76650-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766483","9783540766506"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76650-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}