{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:41:05Z","timestamp":1730295665471,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/sefm.2003.1236203","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"14-23","source":"Crossref","is-referenced-by-count":3,"title":["Supporting the software testing process through specification animation"],"prefix":"10.1109","author":[{"given":"T.","family":"Miller","sequence":"first","affiliation":[]},{"given":"P.","family":"Strooper","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59293-8_188"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1997.640160"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732685"},{"key":"ref13","first-page":"37","article-title":"Experiences with PiZA, an animator for Z","volume":"1212 of lnsc","author":"hewitt","year":"1997","journal-title":"ZUM'97 The Z Formal Specification Notation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N"},{"key":"ref15","first-page":"152","article-title":"ClassBench: A methodology and framework for automated class testing","author":"hoffman","year":"1998","journal-title":"Testing Object-Oriented Software"},{"key":"ref16","first-page":"152","article-title":"Improving software tests using Z specifications","volume":"967","author":"h\u00f6rcher","year":"0","journal-title":"LNCS"},{"journal-title":"JUnit Testing Resources for Extreme Programming","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1998.733727"},{"key":"ref19","first-page":"21","article-title":"Automated boundary testing from Z and B","author":"legeard","year":"2002","journal-title":"Formal Methods Europe"},{"key":"ref28","first-page":"106","article-title":"A state-based approach to the testing of class-based programs","volume":"16","author":"turner","year":"1995","journal-title":"Software-Concepts and Tools"},{"key":"ref4","article-title":"Generating test oracles via model checking","author":"callahan","year":"1998","journal-title":"Technical Report NASA-IVV-98-015 NASA \/ West Virginia University Software Research Laboratory"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539301000530"},{"key":"ref6","article-title":"Unit operations for automated class testing","author":"daley","year":"2000","journal-title":"Technical Report 00-04 SVRC"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730568"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/192218.192221"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024651"},{"key":"ref2","first-page":"105","article-title":"BZ-TT: A tool-set for test generation from Z and B using constraint logic programming","author":"ambert","year":"2002","journal-title":"Proc of Formal Approaches to Testing of Software Workshop of CONCUR'02"},{"journal-title":"Formal Object Oriented Specification Using Object-Z","year":"2000","author":"duke","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2000.895462"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730580"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/APAQS.2001.990027"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2001.948500"},{"key":"ref24","first-page":"192","article-title":"Model-based animation using testgraphs","author":"miller","year":"2002","journal-title":"International Conference on Formal Engineering Methods"},{"key":"ref23","article-title":"A framework and tool support for the systematic testing of model-based specifications","author":"miller","year":"2002","journal-title":"TR 02-35 SVRC"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60271-2_117"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"ref25"}],"event":{"name":"1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03","start":{"date-parts":[[2003,9,22]]},"location":"Brisbane, Queensland, Australia","end":{"date-parts":[[2003,9,27]]}},"container-title":["First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8747\/27706\/01236203.pdf?arnumber=1236203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:27:05Z","timestamp":1489415225000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1236203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/sefm.2003.1236203","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}