{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:36Z","timestamp":1775053416803,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540208136","type":"print"},{"value":"9783540398660","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39866-0_45","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T16:30:09Z","timestamp":1288024209000},"page":"450-461","source":"Crossref","is-referenced-by-count":7,"title":["Integration of Functional and Timed Testing of Real-Time and Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Victor V.","family":"Kuliamin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander K.","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick V.","family":"Pakoulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander S.","family":"Kossatchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor B.","family":"Bourdonov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"http:\/\/www.ispras.ru\/~RedVerst\/"},{"issue":"5","key":"45_CR2","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell System Technical Journal\u00a034(5), 1045\u20131079 (1955)","journal-title":"Bell System Technical Journal"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies, Annals of Maths. Studies, Princeton University Press\u00a0(34), 129\u2013153 (1956)","DOI":"10.1515\/9781400882618-006"},{"key":"45_CR4","unstructured":"En-Nouaary, A., Fouchal, H., Elqortobi, A., Dssouli, R., Petitjean, E.: Timed Testing Using Clock Zone Vertices. Technical Report, Departement d\u2019IRO, Universite de Montreal (1998)"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, D., Lee, I.: Automatic Test Generation for the Analysis of a Real-time System: Case Study. In: 3-rd IEEE Real-time Technology and Applications Symposium (1997)","DOI":"10.1109\/RTTAS.1997.601349"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer, STTT (2002)","DOI":"10.1007\/s10009-002-0094-1"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Dietrich, F., Logean, X., Hubaux, J.P.: Testing Temporal Logic Properties in Distributed Systems. In: Proc. IFIP Int\u2019l. Wksp. Testing of Commun. Sys., Tomsk, Russia (August 1998)","DOI":"10.1007\/978-0-387-35381-4_15"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Hong","year":"2002","unstructured":"Hong, H., Lee, I., Sokolsky, O., Ural, H.: A Temporal Logic Based Theory of Test Coverage and Generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, p. 327. Springer, Heidelberg (2002)"},{"key":"45_CR9","unstructured":"http:\/\/www.time-rover.com\/main.html"},{"key":"45_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45614-7_5","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"I. Bourdonov","year":"2002","unstructured":"Bourdonov, I., Kossatchev, A., Kuliamin, V., Petrenko, A.: UniTesK Test Suite Architecture. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 77\u201388. Springer, Heidelberg (2002)"},{"key":"45_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1007\/3-540-48119-2_34","volume-title":"FM\u201999 - Formal Methods","author":"I. Bourdonov","year":"1999","unstructured":"Bourdonov, I., Kossatchev, A., Petrenko, A., Galter, D.: KVEST: Automated Generation of Test Suites from Formal Specifications. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 608\u2013621. Springer, Heidelberg (1999)"},{"key":"45_CR12","unstructured":"Bourdonov, B., Kossatchev, A.S., Kuliamin, V.V.: Classification of Asynchronous Finite State Machines. To be printed in works of ISP RAS (in Russian)"},{"issue":"4","key":"45_CR13","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"28","author":"P. Zafiropulo","year":"1980","unstructured":"Zafiropulo, P., West, C.H., Rudin, H., Cowan, D.D., Brand, D.: Towards Analysing and Synthesizing Protocols. IEEE Transactions on Communications, COM\u00a028(4), 651\u2013660 (1980)","journal-title":"IEEE Transactions on Communications, COM"},{"key":"45_CR14","volume-title":"Proceedings of the 10-th IFIP International Workshop on Testing of Communicating Systems","author":"O. Henniger","year":"1997","unstructured":"Henniger, O.: On test case generation from asynchronously communicating state machines. In: Kim, M., Kang, S., Hong, K. (eds.) Proceedings of the 10-th IFIP International Workshop on Testing of Communicating Systems, Cheju Island, South Korea, Chapman & Hall, Boca Raton (1997)"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"von Bochmann, G., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. In: Proceeding of ISSTA 1994, pp. 109\u2013124 (1994)","DOI":"10.1145\/186258.187153"},{"key":"45_CR16","first-page":"267","volume-title":"IFIP Transactions, Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems, 1991","author":"S. Fujiwara","year":"1992","unstructured":"Fujiwara, S., von Bochmann, G.: Testing Nondeterministic Finite State Machine with Fault Coverage. In: Kroon, J., Heijink, R.J., Brinksma, E. (eds.) IFIP Transactions, Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems, 1991, pp. 267\u2013280. North-Holland, Amsterdam (1992)"},{"issue":"2","key":"45_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF02759192","volume":"26","author":"I. Burdonov","year":"2000","unstructured":"Burdonov, I., Kossatchev, A., Kulyamin, V.: Application of finite automatons for program testing. Programming and Computer Software\u00a026(2), 61\u201373 (2000)","journal-title":"Programming and Computer Software"},{"key":"45_CR18","doi-asserted-by":"crossref","unstructured":"Conta, A., Deering, S.: Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification, RFC 2463 (December 1998)","DOI":"10.17487\/rfc2463"},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Narten, T., Nordmark, E., Simpson, W.: Neighbor Discovery for IP Version 6 (IPv6), RFC 2461 (December 1998)","DOI":"10.17487\/rfc2461"},{"key":"45_CR20","unstructured":"http:\/\/www.tahi.org"},{"key":"45_CR21","unstructured":"http:\/\/www.ispras.ru\/~RedVerst\/RedVerst\/WhitePapers\/MSRIPv6VerificationProject\/Main.html"},{"key":"45_CR22","unstructured":"Petrenko, A., Bourdonov, I., Kossatchev, A., Kuliamin, V.: Experiences in using testing tools and technology in real-life applications. In: Proceedings of SETT 2001, India, Pune (2001)"},{"key":"45_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-45575-2_29","volume-title":"Perspectives of System Informatics","author":"A.K. Petrenko","year":"2001","unstructured":"Petrenko, A.K.: Specification Based Testing: Towards Practice. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, p. 287. Springer, Heidelberg (2001)"},{"key":"45_CR24","unstructured":"http:\/\/www.atssoft.com"},{"key":"45_CR25","unstructured":"http:\/\/unitesk.ispras.ru"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39866-0_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T21:22:35Z","timestamp":1559769755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39866-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208136","9783540398660"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39866-0_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}