{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T05:43:32Z","timestamp":1735883012380,"version":"3.32.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf01976186","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T16:56:55Z","timestamp":1122829015000},"page":"257-300","source":"Crossref","is-referenced-by-count":1,"title":["A modified transition tour protocol test method"],"prefix":"10.1007","volume":"4","author":[{"given":"Chung-Ming","family":"Huang","sequence":"first","affiliation":[]},{"given":"Jenq-Muh","family":"Hsu","sequence":"additional","affiliation":[]},{"given":"Huei-Yang","family":"Lai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"BF01976186_CR1","doi-asserted-by":"crossref","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"A. V. Aho","year":"1991","unstructured":"A. V. Aho, A. T. Dahbura, D. Lee, and M. Umit Uyar. An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours.IEEE Trans. on Communications, 39(11):1604\u20131615, 1991.","journal-title":"IEEE Trans. on Communications"},{"key":"BF01976186_CR2","unstructured":"N. P. Alfano and B. Kanungo. X.25 development of an international standard for conformance testing X.25 DTEs. InProc. of Protocol Specification. Testing, and Verification, pages 121\u2013132, 1990."},{"issue":"9","key":"BF01976186_CR3","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1109\/32.92918","volume":"17","author":"S. C. Boyd","year":"1991","unstructured":"S. C. Boyd and H. Uray. On the complexity of generating optimal test sequences.IEEE Trans. on Software Engineering, 17(9):976\u2013978, 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"BF01976186_CR4","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"D. Brand and P. Zafiropulo. On communication finite-state machines.Journal of ACM, 30(2):323\u2013342, 1983.","journal-title":"Journal of ACM"},{"key":"BF01976186_CR5","unstructured":"L. Brownston, R. Farrel, E. Kart, and N. Martin.Programming Expert Systems in OPSS. Addison-Wesley Publishing company, 1985."},{"key":"BF01976186_CR6","doi-asserted-by":"crossref","unstructured":"Y. L. Chan, S. T. Vuong, and M. R. Ito. An improved protocol test sequence generation based on UIOs. InProc. of SIGCOMM'89, pages 283\u2013294, 1989.","DOI":"10.1145\/75247.75274"},{"key":"BF01976186_CR7","unstructured":"Y. L. Chan, S. T. Vuong, and M. R. Ito. On test sequence generation for protocol. InProc. of Protocol Specification, Testing, and Verification, pages 119\u2013130, 1990."},{"key":"BF01976186_CR8","doi-asserted-by":"crossref","unstructured":"M. S. Chen, Y. Choi, and A. Kershenbaum. Minimal length test sequences for protocol conformance.Proc. of ist Network Management and Control Worksho, Poly. Technique Univ., 1989","DOI":"10.1007\/978-1-4613-1471-4_24"},{"key":"BF01976186_CR9","unstructured":"M. S. Chen, Y. Choi, and A. Kershenbaum. Approaches utilizing segment overlap to minimize test sequences. InProc. of Protocol Specification, Testing, and Verification, pages 67\u201384, 1990."},{"key":"BF01976186_CR10","doi-asserted-by":"crossref","unstructured":"W. H. Chen, C. S. Lu, L. Chen, and J. T. Wang. Synchronizable protocol test generation via the duplex technique. InProc of INFOCOM, pages 561\u2013563, 1990.","DOI":"10.1109\/INFCOM.1990.91295"},{"key":"BF01976186_CR11","unstructured":"W. Chun and P. D. Amer. Test case generation for protocols specified in Estelle. InProc. of International Conference on Formal Description Techniques, pages 191\u2013206, 1991."},{"key":"BF01976186_CR12","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. Chow","year":"1978","unstructured":"T. Chow, Testing software design modeled by finite-state machines.IEEE Trans. on Software Engineering, SE-4: 178\u2013187, 1978.","journal-title":"IEEE Trans. on Software Engineering, SE"},{"key":"BF01976186_CR13","doi-asserted-by":"crossref","unstructured":"W. Chun and P.D. Amer. Improvements on UIO sequence generation and oartial UIO sequences. InProc. of Protocol Specification. Testing. and Verification, pages 245\u2013260, 1992.","DOI":"10.1016\/B978-0-444-89874-6.50022-2"},{"key":"BF01976186_CR14","doi-asserted-by":"crossref","unstructured":"A. T. Dahura, K. K. Sabnani, and M. U. Uyar. Formal methods for generating protocol conformance test sequences. InProc. of the IEEE, 78(8):1317\u20131326, 1990.","DOI":"10.1109\/5.58319"},{"key":"BF01976186_CR15","doi-asserted-by":"crossref","unstructured":"G. Gonenc. A method for the design of fault detection experiments.IEEE Trans. on Computer, C-19: 551\u2013558, June. 1970.","DOI":"10.1109\/T-C.1970.222975"},{"key":"BF01976186_CR16","unstructured":"D. Gueraich and L. Logrippo. Derivation of test cases for LAP-B from a LOTOS specification. InProc. of the 2nd International Conference of Formal Description Techniques for Distributed Systems and Communication Protocols, pages 489\u2013508, 1989."},{"key":"BF01976186_CR17","doi-asserted-by":"crossref","unstructured":"C. M. Huang, Y. I. Chang, and M. T. Liu, PDPS: An automated protocol design system by production systems approach. InProc. of the 1 st International Conference on Systems Integration, pages 186\u2013195, 1990.","DOI":"10.1109\/ICSI.1990.138683"},{"key":"BF01976186_CR18","unstructured":"C. M. Huang, Y. I. Chang, and M. T. Liu. 1990. An executable nile-based specification and its incremental implementation for communication protocols. InProc of International Computers Symposium, pages 220\u2013225, Taiwan, 1990."},{"issue":"9","key":"BF01976186_CR19","doi-asserted-by":"crossref","first-page":"1748","DOI":"10.1109\/49.62860","volume":"8","author":"C. M. Huang","year":"1990","unstructured":"C. M. Huang, Y. I. Chang, and M. T. Liu. A computer-aided protocol design by production systems approach.IEEE Journal on Selected Areas in Communications, 8(9):1748\u20131762, 1990.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"BF01976186_CR20","unstructured":"D. Kalp, M. Tambe, A. Gupta, C. Forgy. A. Newell, A. Acharya. B. Milnes, and K. Swedlow.Parallel OPS5 User's Manual. Carnegie Mellon University, 1988."},{"key":"BF01976186_CR21","doi-asserted-by":"crossref","unstructured":"R. J. Linn. Conformance evaluation methodology and protocol testing.IEEE Journal on Selected Areas in Communications, 1143\u20131158, 1989.","DOI":"10.1109\/49.44561"},{"key":"BF01976186_CR22","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0169-7552(90)90134-E","volume":"18","author":"R. J. Linn","year":"1990","unstructured":"R. J.Linn, Conformance testing for OSI protocols.Computer Networks and ISDN Systems, 18:203\u2013219. 1990.","journal-title":"Computer Networks and ISDN Systems"},{"key":"BF01976186_CR23","unstructured":"L. T. Liu, C. H. Chen, and C. S. Lu. On the complexity of generating the test sequence without synchronization problem.Proc. of International Computer Symosium, pages 214\u2013219, Taiwan, 1990."},{"key":"BF01976186_CR24","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0065-2458(08)60533-1","volume":"29","author":"M. T. Liu","year":"1989","unstructured":"M. T. Liu, Protocol enginecring,Advances in Computers. 29:79\u2013195, 1989.","journal-title":"Advances in Computers"},{"issue":"8","key":"BF01976186_CR25","doi-asserted-by":"crossref","first-page":"1288","DOI":"10.1109\/26.156632","volume":"40","author":"F. Lombardi","year":"1992","unstructured":"F. Lombardi and T.N. Shen. Evaluation and improvement of fault coverage of conformance testing by UIO sequences.IEEE Trans. on Communications, 40(8):1288\u20131293, 1992.","journal-title":"IEEE Trans. on Communications"},{"key":"BF01976186_CR26","unstructured":"R. E. Miller. Protocol verification: The first ten years, the next ten years. InProc. of Protocol Specification, Testing, and Verification, page 201, 1990, invited paper."},{"issue":"1","key":"BF01976186_CR27","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/90.222912","volume":"1","author":"R. E. Miller","year":"1993","unstructured":"R. E. Miller and S. Paul. On the generation of minimal-length conformance tests for communication protocols.IEEE\/ACM Trans. on Networking, 1(1):116\u2013129, 1993.","journal-title":"IEEE\/ACM Trans. on Networking"},{"key":"BF01976186_CR28","unstructured":"S. Naito and M. Tsunoyama. Fault detection for sequential machines by transition tours. InProc. of 11th IEEE Fault Tolerant Computing Conference, pages 238\u2013243, 1981."},{"key":"BF01976186_CR29","unstructured":"T. F. Piatkowski. Remarks on the feasibility of validating and testing ADCCP implementation. InProc. of Trends and Applications symposium, 1980."},{"key":"BF01976186_CR30","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0169-7552(87)90087-0","volume":"14","author":"D. Rayner","year":"1987","unstructured":"D. Rayner. OSI conformance testing.Computer Networks and ISDN Systems, 14:79\u201398, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"BF01976186_CR31","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"K. Sabnani","year":"1988","unstructured":"K. Sabnani and A. Dahbura. A protocol test generation procedure.Computer Networks and ISDN Systems., 15:285\u2013297, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"key":"BF01976186_CR32","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TSE.1987.233197","volume":"13","author":"B. Sarikaya","year":"1987","unstructured":"B. Sarikaya, G. Bochamann, and E. Cerny, A test design methodology for protocol testingIEEE Trans. Software Engineering, SE-13:518\u2013531, 1987.","journal-title":"IEEE Trans. Software Engineering, SE"},{"key":"BF01976186_CR33","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0169-7552(89)90004-4","volume":"17","author":"B. Sarikaya","year":"1989","unstructured":"B. Sarikaya. Conformance testing: Architectures and test sequences.Computer Networks and ISDN Systems, 17:111\u2013126, 1989.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"8","key":"BF01976186_CR34","doi-asserted-by":"crossref","first-page":"1282","DOI":"10.1109\/26.156631","volume":"40","author":"Y.N. Shen","year":"1992","unstructured":"Y.N. Shen, F. Lambardiad, and A. T. Dahbura, Protocol conformance testing using multiple UIO sequences.IEEE Trans. on Communications 40(8):1282\u20131287, 1992.","journal-title":"IEEE Trans. on Communications"},{"issue":"4","key":"BF01976186_CR35","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D. P. Sidhu","year":"1989","unstructured":"D. P. Sidhu and T. K. Leung. Formal methods for protocol testing: A detailed study.IEEE Trans. on Software Engincering, SE-15(4):413\u2013426, 1989.","journal-title":"IEEE Trans. on Software Engincering, SE"},{"issue":"4","key":"BF01976186_CR36","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/26.81739","volume":"39","author":"H. Ural","year":"1991","unstructured":"H. Ural and B. Yang. A test sequence selection method for protocol testing.IEEE Trans. on Comnunications. 39(4):514\u2013523, 1991.","journal-title":"IEEE Trans. on Comnunications"},{"key":"BF01976186_CR37","unstructured":"M. U. Uyar and A. T. Dahbura. Optimal test sequence generation for protocols: The chinese postman algorithm applies to Q.931.IEEE Global Telecommunication Conference, pages 68\u201372, 1986."},{"key":"BF01976186_CR38","doi-asserted-by":"crossref","unstructured":"S. H. Yu and M. T. Liu. A new protocol test sequence generation method based on UIOS.Proc. of IEEE INFOCOM, pages 2068\u20132077, 1992.","DOI":"10.1109\/INFCOM.1992.263479"},{"key":"BF01976186_CR39","unstructured":"H. X. Zeng and D. Rayner. The impact of the ferry concept on protocol testing. InProc. of Protocol Specification, Testing, and Verification, pages 533\u2013544, 1986."},{"key":"BF01976186_CR40","unstructured":"H. X. Zeng, X. F. Du, and C. S. He, Promoting the \u2018local\u2019 test method with the new concept \u2018ferry clip.\u2019 InProc. of Protocol Specification, Testing, and Verification, 1988."},{"key":"BF01976186_CR41","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0169-7552(88)90055-4","volume":"15","author":"H. X. Zeng","year":"1988","unstructured":"H. X. Zeng, Q. Li, X. F. Du, and C. S. He. New advances in ferry testing approaches.Computer Networks and ISDN Systems, 15:47\u201354, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"key":"BF01976186_CR42","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0169-7552(89)90001-9","volume":"17","author":"H. X. Zeng","year":"1989","unstructured":"H. X. Zeng, S. T. Chanson, and B. R. Smith. On ferry clip approaches in protocol testing.Computer N and ISDN Systems, 17:77\u201388, 1989.","journal-title":"Computer N and ISDN Systems"},{"key":"BF01976186_CR43","unstructured":"ISO-Information Processing Systems\u2014Open Systems Interconnection. LOTOS- A formal description technique based on the temporal ordering of observational behavior.DIS. 8807, 1987."},{"key":"BF01976186_CR44","unstructured":"ISO-Information Processing Systems\u2014Open Systems Interconnection. ESTELLE-A aformal description technique based on extended state transition model.DIS. 9074, 1987."},{"key":"BF01976186_CR45","unstructured":"CCITT Recommendation Z. 100: Specification and Description Language SDL, AP IX-35, 1988."}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01976186.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01976186\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01976186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T21:47:02Z","timestamp":1735854422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01976186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF01976186"],"URL":"https:\/\/doi.org\/10.1007\/bf01976186","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}