{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:24Z","timestamp":1725487104296},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_24","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:01:14Z","timestamp":1183399274000},"page":"379-402","source":"Crossref","is-referenced-by-count":5,"title":["Comparing TorX, Autolink, TGV and UIO Test Algorithms"],"prefix":"10.1007","author":[{"given":"N.","family":"Goga","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"24_CR1","unstructured":"International Standard ISO\/IEC 9646-1\/2\/3. OSI-open system interconnection, information technology-open systems interconnection conformance testing methodology and framework-part 1: General concept-part 2: Abstract test suites specification-part 3: The tree and tabular combined notation (TTCN), June 1992."},{"key":"24_CR2","unstructured":"A.V. Aho, A.T. Dahbura, D. Lee, and M.U. Uyari. An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. In K. Sabnani and S. Aggarwal, editors, Protocol Specification, Testing and Verification VIII, volume 8. Elsevier Science, 1998."},{"key":"24_CR3","first-page":"221","volume-title":"Proceedings of the Sixth SDL Forum","author":"B. Algayres","year":"1993","unstructured":"B. Algayres, Y. Lejeune, F. Hugonnet, and F. Hants. The AVALON project: A VALidation environment for SDL\/MSC description. In O. F\u00e6rgemand and A. Sarma, editors, SDL\u201993Using Objects, Proceedings of the Sixth SDL Forum, pages 221\u2013235, Darmstadt, 1993. Elsevier Science Publishers B.V."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"A. Belinfante, J. Feenstra, R.G. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, Intenational Workshop on Testing of Comunication Systems, pages 179\u2013196. Kluwer Academic, 1999.","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"L. Bousquet, S. Ramangalahy, S. Simon, C. Viho, A. Belinfante, and R.G. Vries. Formal test automation: the conference protocol with TGV\/TorX. Proceedings of TestCom2000, Canada, 2000.","DOI":"10.1007\/978-0-387-35516-0_14"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"L.M.G. Feijs, F.A.C Meijs, J.R. Moonen, and J.J. van Wamel. Conformance testing of a multimedia system using Phact. In Alexandre Petrenko and Nina Yevtushenko, editors, Testing of Communicating Systems, volume 11, pages 143\u2013210. Kluwer Academic, 1998.","DOI":"10.1007\/978-0-387-35381-4_12"},{"key":"24_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Computer-Aided Verification (CAV\u201996), New Brunswick, New Jersey, USA","author":"G. Fernandez","year":"1996","unstructured":"G. Fernandez, J.C. Jard, C. J\u00e9ron, and T. Viho. Using on-the-fly verification techniques for the generation of test suites. In T. Alur and A. Henzinger, editors, Computer-Aided Verification (CAV\u201996), New Brunswick, New Jersey, USA, volume 1102 of LNCS. Springer-Verlag, 1996."},{"key":"24_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Computer-Aided Verification (CAV\u201996), New Brunswick, New Jersey, USA","author":"J.C. Fernandez","year":"1996","unstructured":"J.C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mournier, and M. Sighireanu. CADP: A protocol validation and verification toolbox. In T. Alur and A. Henzinger, editors, Computer-Aided Verification (CAV\u201996), New Brunswick, New Jersey, USA, volume 1102 of LNCS. Springer-Verlag, 1996."},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Computer-Aided Verification (CAV\u201996), New Brunswick, New Jersey, USA","author":"J.C. Fernandez","year":"1996","unstructured":"J.C. Fernandez, C. Jard, T. Jeron, and C. Viho. Using on-the-fly verification techniques for the generation of a test suites. In T. Alur and A. Henzinger, editors, Computer-Aided Verification (CAV\u201996), New Brunswick, New Jersey, USA, volume 1102 of LNCS. Springer-Verlag, 1996."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"R. Groz and N. Risser. Eight years of experience in test generation from FDTs using TVEDA. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, FORTE\/PSTV\u201997. Chapman and Hall, 1997.","DOI":"10.1007\/978-0-387-35271-8_29"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"L. Heerink, J. Feenstra, and J. Tretmans. Formal test automation: the conference protocol with Phact. Proceedings of TestCom2000, Canada, 2000.","DOI":"10.1007\/978-0-387-35516-0_13"},{"key":"24_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer-Aided Verification (CAV\u201999)","author":"T. J\u00e9ron","year":"1999","unstructured":"T. J\u00e9ron and P. Morel. Test generation derived from model-checking. In Nicolas Halbwachs and Doron Peled, editors, Computer-Aided Verification (CAV\u201999), volume 1633 of LNCS, pages 108\u2013122. Springer, 1999."},{"key":"24_CR13","volume-title":"Switching and Finite Automata Theory","author":"Z. Kohavi","year":"1978","unstructured":"Zvi Kohavi. Switching and Finite Automata Theory. McGraw-Hill Book Company, New York, 1978."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"J.R. Moonen, J.M.T. Romijn, O. Sies, J.G. Springintveld, L.M.G. Feijs, and R.L.C. Koymans. A two-level approach to automated conformace testing of VHDL designs. In M. Kim, S. Kang, and K. Hong, editors, Testing of Communicating Systems, volume 10, pages 432\u2013447. Chapman and Hall, 1997.","DOI":"10.1007\/978-0-387-35198-8_28"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"M. Schimitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink-puting SDL-based test generation into practice. In A. Petrenko, editor, Proceedings of the 11th International Workshop on Testing Comunicating Systems (IWTCS\u201998), pages 227\u2013243. Kluwer Academic, 1998.","DOI":"10.1007\/978-0-387-35381-4_14"},{"key":"24_CR16","series-title":"Technical Report No. 96-26","volume-title":"Software-Concepts and Tools","author":"J. Tretmans","year":"1996","unstructured":"J. Tretmans. Test Generation with Inputs, Outputs and Repetitive Quiescence. Software-Concepts and Tools, 17(3), 1996. Also: Technical Report No. 96-26, Centre for Telematics and Information Technology, University of Twente, The Netherlands."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"S.P. van de Burgt. Test sequence algorithms and formal language. In Proceedings of Second Asian Test Symposium, volume 8, pages 136\u2013146. IEEE Computer Society Press, 1993.","DOI":"10.1109\/ATS.1993.398793"},{"key":"24_CR18","unstructured":"S.P. van de Burgt, J. Kroon, E. Kwast, and H.J. Wilts. The RNL Conformance Kit. In J. de Meer, L. Mackert, and W. Effelsberg, editors, Proceeding of the 2nd International Workshop on Protocol Test Systems, volume 2, pages 279\u2013294. North-Holland, October 1989."},{"key":"24_CR19","unstructured":"S.T. Vuong, W.Y.L. Chan, and M.R. Ito. The UIOv-method for protocol test sequence generation. In Jan de Meer, Lothar Machert, and Wolfgang Effelsberg, editors, International Workshop on Protocol Test Systems, volume 2, pages 161\u2013176. North-Holland, 1990."}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:36:02Z","timestamp":1556588162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}