{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:25:19Z","timestamp":1725452719379},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iceccs.2002.1181508","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T15:35:00Z","timestamp":1056641700000},"page":"153-162","source":"Crossref","is-referenced-by-count":1,"title":["A framework for specification-based class testing"],"prefix":"10.1109","author":[{"family":"Ling Liu","sequence":"first","affiliation":[]},{"family":"Huaikou Miao","sequence":"additional","affiliation":[]},{"family":"Xuede Zhan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312926"},{"journal-title":"Testing Object-Oriented System Models Patterns and Tools","year":"2000","author":"binder","key":"ref12"},{"journal-title":"The Object-Z Specification Language Version 1 Technical Report No 91-1","year":"1991","author":"duke","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1109\/ICECCS.2000.873941","article-title":"A test class framework for generating test cases from Z specification","author":"miao","year":"2000","journal-title":"Proc of Sixth IEEE International Conference on Engineering of Complex Computer System"},{"journal-title":"Specification-based class testing A case study Technical Report No 98–08","year":"1998","author":"maccoll","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"journal-title":"Z Notation Final Committee Draft","article-title":"The International Organization for Standardization","year":"1999","key":"ref4"},{"journal-title":"Automating Specification-Based Software Testing","year":"1996","author":"poston","key":"ref3"},{"journal-title":"Systematic Software Development Using VDM","year":"1986","author":"jones","key":"ref6"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024651"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"ref2"},{"year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1994.318466"}],"event":{"name":"Eighth IEEE International Conference on Engineering of Complex Computer Systems","acronym":"ICECCS-02","location":"Greenbelt, MD, USA"},"container-title":["Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8415\/26521\/01181508.pdf?arnumber=1181508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:46:29Z","timestamp":1497566789000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1181508\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2002.1181508","relation":{},"subject":[]}}