{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T19:59:19Z","timestamp":1772827159845,"version":"3.50.1"},"reference-count":35,"publisher":"Elsevier BV","issue":"16","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Communications"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0140-3664(98)00172-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:08:03Z","timestamp":1027598883000},"page":"1462-1475","source":"Crossref","is-referenced-by-count":15,"title":["UIOE: a protocol test sequence generation method using the transition executability analysis (TEA)"],"prefix":"10.1016","volume":"21","author":[{"given":"Chung-Ming","family":"Huang","sequence":"first","affiliation":[]},{"given":"Meng-Shu","family":"Chiang","sequence":"additional","affiliation":[]},{"given":"Ming-Yuhe","family":"Jang","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"11 (November)","key":"10.1016\/S0140-3664(98)00172-8_BIB1","doi-asserted-by":"crossref","first-page":"1604","DOI":"10.1109\/26.111442","article-title":"An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours","volume":"39","author":"Aho","year":"1991","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB2","doi-asserted-by":"crossref","unstructured":"W.Y.L. Chan, S.T. Voung, M.R. Ito, An improved protocol test generation procedure based on UIOs, ACM SIGCOMM89, 1989, pp. 283\u2013294.","DOI":"10.1145\/75247.75274"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB3","doi-asserted-by":"crossref","unstructured":"S.T. Chanson, J. Zhu, A unified approaches to protocol test sequence generation, Proc. of IEEE INFOCOM, 1993, pp. 106\u2013114.","DOI":"10.1109\/INFCOM.1993.253243"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB4","unstructured":"M.S. Chen, Y. Choi, A. Kershenbaum, Approaches utilizing segment overlap to minimize test sequences, Proc. of 10th International Symposium on Protocol Specification, Testing, and Verification, 1990, 67\u201384."},{"issue":"3 (May)","key":"10.1016\/S0140-3664(98)00172-8_BIB5","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing software design modeled by finite-state machines","volume":"4","author":"Chow","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB6","unstructured":"W. Chun, P.D. Amer, Test case generation for protocol specified in estelle, Proc. of International Conference on Formal Description Techniques (Forte), 1991, pp. 191\u2013206."},{"key":"10.1016\/S0140-3664(98)00172-8_BIB7","doi-asserted-by":"crossref","unstructured":"W. Chun, P.D. Amer, Improvements on UIO sequence generation and partial UIO sequences, Proc. of International Symposium on Protocol Specification, Testing, and Verification, XII, 1992, pp. 245\u2013260.","DOI":"10.1016\/B978-0-444-89874-6.50022-2"},{"issue":"6 (June)","key":"10.1016\/S0140-3664(98)00172-8_BIB8","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","article-title":"Test selection based on finite state models","volume":"17","author":"Fujiwara","year":"1991","journal-title":"IEEE Transitions on Software Engineering"},{"issue":"June","key":"10.1016\/S0140-3664(98)00172-8_BIB9","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","article-title":"A method for the design of fault detection experiments","volume":"19","author":"Gonenc","year":"1970","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB10","unstructured":"D. Hogrefe, OSI Formal Specification Case Study: The Inres Protocol and Service. Technical Report IAM-91-012, University of Berne, Institute of Computer Science and Applied Mathematics, 1991."},{"key":"10.1016\/S0140-3664(98)00172-8_BIB11","doi-asserted-by":"crossref","unstructured":"D. Lee, M. Yannakakis, Testing finite-state machines: state identification verification, IEEE Transactions on Computers, 43 (3 (March)) 1994, 306\u2013320.","DOI":"10.1109\/12.272431"},{"issue":"8 (August)","key":"10.1016\/S0140-3664(98)00172-8_BIB12","doi-asserted-by":"crossref","first-page":"1288","DOI":"10.1109\/26.156632","article-title":"Evaluation and improvement of fault coverage of conformance testing by UIO sequences","volume":"40","author":"Lombardi","year":"1992","journal-title":"IEEE Transactions on Communications"},{"issue":"2 (February)","key":"10.1016\/S0140-3664(98)00172-8_BIB13","first-page":"149","article-title":"Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method","volume":"20","author":"Luo","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB14","doi-asserted-by":"crossref","unstructured":"R.E. Miller, Generating conformance test sequences for combined control and data flow of communication protocols, Proc. of International Symposium on Protocol Specification, Testing and Verification, XII, 1992, pp. 13\u201327.","DOI":"10.1016\/B978-0-444-89874-6.50008-8"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB15","doi-asserted-by":"crossref","unstructured":"R.E. Miller, Generating minimal length test sequences for conformance testing of communication protocols, Proc. of IEEE INFOCOMM'91, 1991, pp. 970\u2013979.","DOI":"10.1109\/INFCOM.1991.147610"},{"issue":"1 (February)","key":"10.1016\/S0140-3664(98)00172-8_BIB16","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/90.222912","article-title":"On the generation of minimal-length conformance tests for communication protocols","volume":"1","author":"Miller","year":"1993","journal-title":"IEEE\/ACM Transitions on Networking"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB17","doi-asserted-by":"crossref","unstructured":"R.E. Miller, S. Paul, Generating maximal fault coverage conformance test sequences of reduced length for communication protocols, Proc. of IEEE 1st International Conference on Network Protocols, 1993, pp. 217\u2013224.","DOI":"10.1109\/ICNP.1993.340916"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB18","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","article-title":"A protocol test generation procedure","volume":"15","author":"Sabnani","year":"1988","journal-title":"Computer Networks and ISDN Systems"},{"issue":"5 (May)","key":"10.1016\/S0140-3664(98)00172-8_BIB19","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TSE.1987.233197","article-title":"A test design methodology for protocol testing","volume":"13","author":"Sarikaya","year":"1987","journal-title":"IEEE Transactions on Software Engineering SE-"},{"issue":"8 (August)","key":"10.1016\/S0140-3664(98)00172-8_BIB20","doi-asserted-by":"crossref","first-page":"1282","DOI":"10.1109\/26.156631","article-title":"Protocol conformance testing using multiple UIO sequences","volume":"40","author":"Shen","year":"1992","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB21","doi-asserted-by":"crossref","unstructured":"D.P. Sidhu, H. Motteler, R. Vallurupalli, On testing hierarchies for protocols, IEEE Transactions on Networking (15 (October)) (1993), 590\u2013599.","DOI":"10.1109\/90.251917"},{"issue":"4 (April)","key":"10.1016\/S0140-3664(98)00172-8_BIB22","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/26.81739","article-title":"A test sequence selection method for protocol testing","volume":"39","author":"Ural","year":"1991","journal-title":"IEEE Transactions on Communication"},{"issue":"3 (June)","key":"10.1016\/S0140-3664(98)00172-8_BIB23","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1109\/90.234857","article-title":"Optimal length test sequence generation using distinguishing sequences","volume":"1","author":"Ural","year":"1993","journal-title":"IEEE Transactions on Networking"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB24","doi-asserted-by":"crossref","unstructured":"C.J. Wang, M.T. Liu, A test suite generation method for extended finite state machines using axiomatic semantics approach, Proc. of International Symposium on Protocol Specification, Testing and Verification, 1992, pp. 29\u201343.","DOI":"10.1016\/B978-0-444-89874-6.50009-X"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB25","doi-asserted-by":"crossref","unstructured":"B. Yang, H. Ural, Protocol conformance test generation using multiple UIO sequences with overlapping, Proc. of ACM SIGCOMM'90, September 1990, pp. 118\u2013125.","DOI":"10.1145\/99508.99543"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB26","doi-asserted-by":"crossref","unstructured":"X. Li, T. Higashino, M. Higuchi, K. Taniguchi, Automatic Generation of Extended UIO Sequences for Communication Protocols in An EFSM Model, IWPTS'94, Part IV, 1994, pp. 225\u2013240.","DOI":"10.1007\/978-0-387-34883-4_15"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB27","doi-asserted-by":"crossref","unstructured":"C.M. Huang, Y.C. Lin, M.Y. Jang, An Executable Protocol Test Sequence Generation Method for EFSM-specified Protocols, IWPTS'95, September 1995, pp. 29\u201344.","DOI":"10.1007\/978-0-387-34988-6_2"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB28","unstructured":"T. Ramaligom, A. Das, K. Thulasiraman, A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences, IWPTS'95, September 1995, pp. 289\u2013305."},{"key":"10.1016\/S0140-3664(98)00172-8_BIB29","doi-asserted-by":"crossref","unstructured":"O. Henniger, A. Ulrich, H. K\u00f6nig, Transformation of Estelle Modules Aiming at Test Case Generation, IWPTS'95, September 1995, pp. 45\u201360.","DOI":"10.1007\/978-0-387-34988-6_3"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB30","unstructured":"K. Naik, Fault-tolerant UIO Sequences in Finite State Machines, IWPTS'95, September 1995, pp. 207\u2013220."},{"key":"10.1016\/S0140-3664(98)00172-8_BIB31","doi-asserted-by":"crossref","unstructured":"D. Lee, M. Yannakakis, Optimization problems from feature testing of communication protocols, Proceedings of International Conference on Network Protocols, November 1996, pp. 66\u201375.","DOI":"10.1109\/ICNP.1996.564905"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB32","unstructured":"H.S. Oh, B.M. Chin, B.H. Oh, S.H. Lee, Test suite generation considering data flow anomalies, Proceedings of 11th International Conference on Information Networking, vol. 2, January 1997, pp. 8A-2.1\u20138A-2.7."},{"key":"10.1016\/S0140-3664(98)00172-8_BIB33","unstructured":"Y.H. Jung, B.K. Hong, J.W. Lee, Test sequence generation using multiple UIO and shortest path (MUSP) and multiple unique state signature (MUSS), Proceedings of 11th International Conference on Information Networking, vol. 2, January 1997, pp. 7B-4.1\u20137B-4.7."},{"issue":"4 (August)","key":"10.1016\/S0140-3664(98)00172-8_BIB34","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1109\/90.649519","article-title":"Efficient computation of unique input\/output sequences in finite-state machines","volume":"5","author":"Naik","year":"1997","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"10.1016\/S0140-3664(98)00172-8_BIB35","doi-asserted-by":"crossref","unstructured":"T. Ramaligom, K. Thulasiraman, A. Das, Context independent unique sequences generation for protocol testing, IEEE INFOCOM'96, 1996, pp. 1141\u20131148.","DOI":"10.1109\/INFCOM.1996.493058"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366498001728?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366498001728?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T20:03:30Z","timestamp":1733256210000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0140366498001728"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":35,"journal-issue":{"issue":"16","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0140366498001728"],"URL":"https:\/\/doi.org\/10.1016\/s0140-3664(98)00172-8","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}