{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:58:03Z","timestamp":1775012283978,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1007\/bf02759192","type":"journal-article","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T09:27:38Z","timestamp":1212571658000},"page":"61-73","source":"Crossref","is-referenced-by-count":18,"title":["Application of finite automatons for program testing"],"prefix":"10.1007","volume":"26","author":[{"given":"I. B.","family":"Burdonov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. S.","family":"Kossatchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. V.","family":"Kulyamin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02759192_CR1","unstructured":"Wong, H., Barantsev, A., Burdonov, I., and Kosachev, A., Report on Test Generation Methodology,NORTEL, 1997."},{"key":"BF02759192_CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.,Software Testing Techniques, New York: Van Nostrand Reinhold, 1990, 2nd edition.","edition":"2nd edition"},{"key":"BF02759192_CR3","unstructured":"Burdonov, I., Kosachev, A., Petrenko, A., Cheng, S., and Wong, H., Formal Specification and Verification of SOS Kernel,BNR\/NORTEL Design Forum, 1996."},{"issue":"no. 5","key":"BF02759192_CR4","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1002\/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.0.CO;2-3","volume":"27","author":"D. Hoffman","year":"1997","unstructured":"Hoffman, D. and Strooper, P., ClassBench: a Framework for Automated Class Testing,Software Maintenance: Practice and Experience, 1997, vol. 27, no. 5, pp. 573\u2013579.","journal-title":"Software Maintenance: Practice and Experience"},{"key":"BF02759192_CR5","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0056024","volume":"1493","author":"L. Murray","year":"1998","unstructured":"Murray, L., Carrington, D., MacColl, I., McDonald, J., and Strooper, P., Formal Derivation of Finite State Machines for Class Testing,ZUM'98: The Z Formal Specification Notation, 11th Int. Conf. of Z Users, Bowen, J.P., Fett, A., and Hinchey, M.G., Eds.,Lect. Notes Comput. Sci., Springer, 1998, vol. 1493, pp. 42\u201359.","journal-title":"Lect. Notes Comput. Sci."},{"issue":"no. 3","key":"BF02759192_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D.K. Peters","year":"1998","unstructured":"Peters, D.K. and Parnas, D.L., Using Test Oracles Generated from Program Documentation,IEEE Trans. Software Eng., 1998, vol. 24, no. 3, pp. 161\u2013173.","journal-title":"IEEE Trans. Software Eng."},{"key":"BF02759192_CR7","unstructured":"Petrenko, A.K., Burdonov, I.B., Drojjina, A.Yu., Kossatchev, A.S., Maximov, A.V., Sazanov, Yu.L., and Sumar, H., Preliminary Test Methodology and Test System Report,NORTEL, 1995."},{"key":"BF02759192_CR8","doi-asserted-by":"crossref","unstructured":"Turner, C.D. and Robson, D.J., The State-based Testing of Object-Oriented Programs,Proc. IEEE Conf. Software Maintenance, 1993, pp. 302\u2013310.","DOI":"10.1109\/ICSM.1993.366932"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02759192.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF02759192","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02759192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02759192.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T01:54:49Z","timestamp":1775008489000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF02759192"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["BF02759192"],"URL":"https:\/\/doi.org\/10.1007\/bf02759192","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}