{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:05:40Z","timestamp":1775055940907,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540439288","type":"print"},{"value":"9783540456148","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_5","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T04:45:28Z","timestamp":1179377128000},"page":"77-88","source":"Crossref","is-referenced-by-count":30,"title":["UniTesK Test Suite Architecture"],"prefix":"10.1007","author":[{"given":"Igor B.","family":"Bourdonov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander S.","family":"Kossatchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor V.","family":"Kuliamin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander K.","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"5_CR1","unstructured":"http:\/\/www.ispras.ru\/~RedVerst\/"},{"key":"5_CR2","unstructured":"http:\/\/www.fmeurope.org\/databases\/fmadb088.html"},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1007\/3-540-48119-2_34","volume-title":"FM\u201999: Formal Methods","author":"I. Bourdonov","year":"1999","unstructured":"I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. FM\u201999: Formal Methods. LNCS, volume 1708, Springer-Verlag, 1999, pp. 608\u2013621."},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D. Peters","year":"1998","unstructured":"D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, 24(3):161\u2013173, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR5","unstructured":"M. Obayashi, H. Kubota, S. P. McCarron, L. Mallet. The Assertion Based Testing Tool for OOP: ADL2, available via \n                  http:\/\/adl.xopen.org\/exgr\/icse\/icse98.htm"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF02759192","volume":"26","author":"I. B. Burdonov","year":"2000","unstructured":"I. B. Burdonov, A. S. Kossatchev, and V. V. Kulyamin. Application of finite automatons for program testing. Programming and Computer Software, 26(2):61\u201373, 2000.","journal-title":"Programming and Computer Software"},{"key":"5_CR7","unstructured":"A. Petrenko, I. Bourdonov, A. Kossatchev, and V. Kuliamin. Experiences in using testing tools and technology in real-life applications. Proceedings of SETT\u201901, India, Pune, 2001."},{"key":"5_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of PSI\u201901","author":"A. K. Petrenko","year":"2001","unstructured":"A. K. Petrenko. Specification Based Testing: Towards Practice. Proceedings of PSI\u201901. LNCS, Springer-Verlag. To be printed."},{"key":"5_CR9","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Reading, MA: Addison-Wesley, 1995."},{"key":"5_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of PSI\u201901","author":"I. B. Bourdonov","year":"2001","unstructured":"Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov. Java Specification Extension for Automated Test Development. Proceedings of PSI\u201901. LNCS, Springer-Verlag. To be printed."},{"key":"5_CR11","unstructured":"http:\/\/junit.sourceforge.net\/"},{"key":"5_CR12","unstructured":"http:\/\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A Protocol Validation and Verification Toolbox. Proceedings of the 8-th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), 1996, pp. 437\u2013440.","DOI":"10.1007\/3-540-61474-5_97"},{"key":"5_CR14","unstructured":"H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. INRIA Technical Report TR-254, December 2001."},{"key":"5_CR15","unstructured":"http:\/\/www.agedis.de\/"},{"key":"5_CR16","unstructured":"http:\/\/www.haifa.il.ibm.com\/projects\/verification\/gtcb\/documentation.html"},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1147\/sj.411.0089","volume":"41","author":"E. Farchi","year":"2002","unstructured":"E. Farchi, A. Hartman, and S. S. Pinter. Using a model-based test generator to test for standard conformance. IBM Systems Journal, volume 41, Number 1, 2002, pp. 89\u2013110.","journal-title":"IBM Systems Journal"},{"key":"5_CR18","unstructured":"http:\/\/www.rational.com\/products\/testrt\/index.jsp"},{"key":"5_CR19","unstructured":"http:\/\/www.ifad.dk\/"}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T18:44:22Z","timestamp":1550342662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}