{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:59:43Z","timestamp":1742403583468,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_21","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"192-203","source":"Crossref","is-referenced-by-count":6,"title":["Model-Based Specification Animation Using Testgraphs"],"prefix":"10.1007","author":[{"given":"Tim","family":"Miller","sequence":"first","affiliation":[]},{"given":"Paul","family":"Strooper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"21_CR1","unstructured":"O. Bosman and H. W. Schmidt. Object test coverage using finite state machines. In Proceedings of TOOLS Pacific\u2019 95, pages 171\u2013178, Melbourne, Australia, 1995."},{"key":"21_CR2","unstructured":"J. Callahan, Easterbrook. S., and T. Montgomery. Generating test oracles via model checking. TR NASA-IVV-98-015, NASA \/ West Virginia University Software Research Laboratory, 1998."},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P","volume":"10","author":"D. Carrington","year":"2000","unstructured":"D. Carrington, I. MacColl, J. McDonald, L. Murray, and P. Strooper. From Object-Z specifications to Classbench test suites. Journal on Software Testing, Verification and Reliability, 10(2): 111\u2013137, 2000.","journal-title":"Journal on Software Testing, Verification and Reliability"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Formal Methods Europe (FME\u201993), pages 268\u2013284, 1993.","DOI":"10.1007\/BFb0024651"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"D. Hazel, P. Strooper, and O. Traynor. Possum: An animator for the Sum specification language. In Proc. Asia-Pacific Soft. Eng. Conf. and Int. Comp. Sci. Conf., pages 42\u201351. IEEE Computer Society, 1997.","DOI":"10.1109\/APSEC.1997.640160"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. In Proc. 13th IEEE Int. Conf. on Automated Soft. Eng., pages 302\u2013305. IEEE Computer Society, 1998.","DOI":"10.1109\/ASE.1998.732685"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, J. Kirby, B. Labaw, and R. Bharadwaj. SCR*: A toolset for specifying and analysing software requirements. In Comp-Aided Verif 10th Annual Conf, 1998.","DOI":"10.21236\/ADA465334"},{"key":"21_CR8","series-title":"Lect Notes Comput Sci","first-page":"37","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Hewitt","year":"1996","unstructured":"M. Hewitt, C. O\u2019Halloran, and C. Sennett. Experiences with PiZA, an animator for Z. In ZUM\u201997: The Z Formal Specification Notation, volume 1212 of LNCS, pages 37\u201351, 1996."},{"key":"21_CR9","unstructured":"D. M. Hoffman and P. A. Strooper. ClassBench: A methodology and framework for automated class testing. In D. C. Kung, P. Hsia, and J. Gao, editors, Testing Object-Oriented Software, pages 152\u2013176. IEEE Computer Society, 1998."},{"key":"21_CR10","unstructured":"IFAD. Features of VDM tools. http:\/\/www.ifad.dk\/products\/vdmtools\/features.htm ."},{"key":"21_CR11","volume-title":"TR 95-15, SVRC","author":"E. Kazmierczak","year":"1995","unstructured":"E. Kazmierczak, P. Kearney, O. Traynor, and L. Wang. A modular extension to Z for specification, reasoning and refinement. TR 95-15, SVRC, University of Queensland, Australia, February 1995."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"E. Kazmierczak, M. Winikoff, and P. Dart. Verifying model oriented specifications through animation. In Proc. Asia-Pacific Soft. Eng. Conf., pages 254\u2013261, 1998.","DOI":"10.1109\/APSEC.1998.733727"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"T. Miller and P. Strooper. Animation can show only the presence of errors, never their absence. In Proc. Aust. Soft. Eng. Conf(ASWEC 2001). Aust. Comp. Soc., 2001.","DOI":"10.1109\/ASWEC.2001.948500"},{"key":"21_CR14","volume-title":"TR 02-15","author":"T. Miller","year":"2002","unstructured":"T. Miller and P. Strooper. Model-based specification animation using testgraphs. TR 02-15, SVRC, The University of Queensland, Australia, 2002. http:\/\/www.svrc.uq.edu.au\/Publications\/2002\/svrc2002-015.html ."},{"key":"21_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0056024","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"L. Murray","year":"1998","unstructured":"L. Murray, D. Carrington, I. MacColl, J. McDonald, and P. Strooper. Formal derivation of finite state machines for class testing. In ZUM\u201998: The Z Formal Specification Notation, volume 1493 of LNCS, pages 42\u201359. Springer Verlag, 1998."},{"issue":"11","key":"21_CR16","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"P. Stocks and D. Carrington. A framework for specification-based testing. IEEE Transactions on Soft. Eng., 22(11):777\u2013793, 1996.","journal-title":"IEEE Transactions on Soft. Eng."},{"key":"21_CR17","unstructured":"H. Treharne, B. Ormsby, J. Draper, and T. Boyce. Evaluating the B-Method on an avionics example. In Proc. DASIA Conference, pages 89\u201397, 1996."},{"key":"21_CR18","unstructured":"H. Waeselynck and S. Behnia. B-Model animation for external verification. In Proc. Conf. for Formal Eng. Methods. IEEE Computer Society, 1998."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:19:24Z","timestamp":1737019164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}