{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:25:05Z","timestamp":1775053505712,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540430759","type":"print"},{"value":"9783540455752","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_29","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:30:22Z","timestamp":1180575022000},"page":"287-300","source":"Crossref","is-referenced-by-count":9,"title":["Specification Based Testing: Towards Practice"],"prefix":"10.1007","author":[{"given":"Alexander K.","family":"Petrenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"29_CR1","unstructured":"Abstract Syntax Notation One (ASN.1) standard. Specifiation of Basic Notation. ITU-T Rec. X.680 (1997)\u2014 ISO\/IEC 8824-1:1998."},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/32.825766","volume":"26","author":"S. Antoy","year":"2000","unstructured":"S. Antoy, D. Hamlet. Automatically Checking an Implementation against Its Formal Specification. IEEE trans. On Soft.Eng, No. 1, Vol. 26, Jan. 2000, pp. 55\u201369.","journal-title":"IEEE trans. On Soft.Eng"},{"key":"29_CR3","unstructured":"D. Bjorner, C. B. Jones (editors). Formal Specification and Software Development. \u2014 Prentice-Hall Int., 1982."},{"key":"29_CR4","unstructured":"I. B. Burdonov, A. V. Demakov, A. A. Jarov, A. S. Kossatchev, V. V. Kuliamin, A. K. Petrenko, S. V. Zelenov. J@va: extension of Java for real-life specification and testing.\u2014 In this volume.\u2014 P.303\u2013309."},{"key":"29_CR5","unstructured":"I. B. Bourdonov, A. S. Kossatchev, V. V. Kuliamin, A. V. Maximov. Testing Programs Modeled by Nondeterministic Finite State Machine.\u2014 (see [27] white papers)."},{"issue":"2","key":"29_CR6","first-page":"61","volume":"26","author":"I. B. Bourdonov","year":"2000","unstructured":"I. B. Bourdonov, A. S. Kossatchev, V. V. Kuliamin.Using Finite State Machines in Program Testing. \u201cProgrammirovanije\u201d, 2000, No. 2 (in Russian). Programming and Computer Software, Vol. 26, No. 2, 2000, pp. 61\u201373 (English version).","journal-title":"Programmirovanije"},{"key":"29_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1007\/3-540-48119-2_34","volume-title":"KVEST: Automated Generation of Test Suites from Formal Specifications","author":"I. Bourdonov","year":"1999","unstructured":"I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. Proceedings of World Congress on Formal Methods, Toulouse, France, LNCS, No. 1708, 1999, pp. 608\u2013621."},{"key":"29_CR8","unstructured":"I. Burdonov, A. Kossatchev, A. Petrenko, S. Cheng, H. Wong. Formal Specification and Verification of SOS Kernel. BNR\/NORTEL Design Forum, June 1996."},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"R.-K. Doong, P. Frankl. Case Studies on Testing Object-Oriented Programs, Proc. Symp. Testing, Analysis, and Verification (TAV4), 1991, pp. 165\u2013177.","DOI":"10.1145\/120807.120822"},{"key":"29_CR10","unstructured":"R. Kramer. iContract\u2014 The Java Design by Contract Tool. Fourth Conference on OO technology and systems (COOTS), 1998."},{"key":"29_CR11","unstructured":"S.-K. Kim and D. Carrington. A Formal Mapping between UML Models and Object-Z Specifications ( http:\/\/svrc.it.uq.edu.au\/Bibliography\/bib-entry. html?index=851 )."},{"key":"29_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-540-49676-2_4","volume-title":"Formal Derivation of Finite State Machines for Class Testing","author":"L. Murray","year":"1998","unstructured":"L. Murray, D. Carrington, I. MacColl, J. McDonald, P. Strooper. Formal Derivation of Finite State Machines for Class Testing. In: Lecture Notes in Computer Science, 1493, pp. 42\u201359"},{"key":"29_CR13","unstructured":"K. Lerner, P. Strooper. Refinement and State Machine Abstraction.\u2014 SVRC, School of IT, The University of Queensland, Technical report No. 00-01. Feb. 2000 ( http:\/\/svrc.it.uq.edu.au\/ )."},{"key":"29_CR14","unstructured":"A. K. Petrenko, I. B. Bourdonov, A. S. Kossatchev, V. V. Kuliamin. Experiences in using testing tools and technology in real-life applications.\u2014 Proceedings of SETT\u201901, India, Pune, 2001."},{"key":"29_CR15","unstructured":"A. Petrenko, A. Vorobiev. Industrial Experience in Using Formal Methods for Software Development in Nortel Networks.\u2014 Proc. Of the TCS2000 Conf., Washington., DC, June, 2000."},{"key":"29_CR16","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D. K. Peters","year":"1998","unstructured":"D. K. Peters, D. L. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Trans. on Software Engineering, Vol. 24, No. 3, March 1998, pp. 161\u2013173.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"N. Plat, P. G. Larsen. An Overviewof the ISO\/VDM-SL Standard. SIGPLAN Notices, Vol. 27, No. 8, August 1992.","DOI":"10.1145\/142137.142153"},{"key":"29_CR18","unstructured":"J. Ryser, M. Glinz. SCENT: A Method Employing Scenarios to Systematically Derive Test Cases for System Test.\u2014 http:\/\/ftp:\/\/ftp.i..unizh.ch\/pub\/techreports\/TR-2000\/i.-2000.03.pdf"},{"key":"29_CR19","volume-title":"The RAISE Specification Language","author":"The RAISE Language Group","year":"1992","unstructured":"The RAISE Language Group. The RAISE Specification Language. Prentice Hall Europe, 1992."},{"key":"29_CR20","unstructured":"Michael Barnett and Wolfram Schulte. The ABCs of Specification: AsmL, Behavior, and Components (Draft of paper submitted to Informatica.) http:\/\/research.microsoft.com\/foundations\/comps.ps"},{"key":"29_CR21","unstructured":"Yuri Gurevich. Private communication."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T13:34:58Z","timestamp":1556458498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}