{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:44:32Z","timestamp":1725518672901},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876021"},{"type":"electronic","value":"9783540876038"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87603-8_24","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T07:56:24Z","timestamp":1221897384000},"page":"309-322","source":"Crossref","is-referenced-by-count":2,"title":["Unit Testing of Z Specifications"],"prefix":"10.1007","author":[{"given":"Mark","family":"Utting","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petra","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00165-005-0079-4","volume":"18","author":"J.C. Bicarregui","year":"2006","unstructured":"Bicarregui, J.C., Hoare, C.A.R., Woodcock, J.C.P.: The verified software repository: a step towards the verifying compiler. Formal Aspects of Computing\u00a018(2), 143\u2013151 (2006)","journal-title":"Formal Aspects of Computing"},{"key":"24_CR2","first-page":"51","volume-title":"Proceedings of the 8 th Z User Meeting (ZUM 1994)","author":"D.A. Carrington","year":"1994","unstructured":"Carrington, D.A., Stocks, P.: A tale of two paradigms: formal methods and software testing. In: Proceedings of the 8 th Z User Meeting (ZUM 1994), June 1994, pp. 51\u201368. Springer, Heidelberg (1994)"},{"key":"24_CR3","unstructured":"Community Z tools, http:\/\/czt.sourceforge.net"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ICECCS.2007.36","volume-title":"ICECCS 2007: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems","author":"L. Freitas","year":"2007","unstructured":"Freitas, L., Fu, Z., Woodcock, J.: POSIX file store in Z\/EVES: an experiment in the verified software repository. In: ICECCS 2007: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 3\u201314. IEEE Computer Society, Los Alamitos (2007)"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"R. Hierons","year":"1997","unstructured":"Hierons, R.: Testing from a Z specification. Software Testing, Verification & Reliability\u00a07, 19\u201333 (1997)","journal-title":"Software Testing, Verification & Reliability"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: The verifying compiler: A grand challenge for computing research. Journal of the ACM\u00a050(1), 63\u201369 (2003)","journal-title":"Journal of the ACM"},{"issue":"2","key":"24_CR7","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00165-006-0022-3","volume":"19","author":"R. Joshi","year":"2007","unstructured":"Joshi, R., Holzmann, G.J.: A mini challenge: build a verifiable file system. Formal Aspects of Computing\u00a019(2), 269\u2013272 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"24_CR8","first-page":"254","volume-title":"Proceedings of the 5th Asia-Pacific Software Engineering Conference","author":"E.. Kazmierczak","year":"1998","unstructured":"Kazmierczak, E., Winikoff, M., Dart, P.: Verifying model oriented specifications through animation. In: Proceedings of the 5th Asia-Pacific Software Engineering Conference, pp. 254\u2013261. IEEE Computer Society Press, Los Alamitos (December 1998)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Butler, M.: ProB: An Automated Analysis Toolset for the B Method. Journal Software Tools for Technology Transfer (page accepted for publication, 2008)","DOI":"10.1007\/s10009-007-0063-9"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Morgan, C., Sufrin, B.: Specification of the UNIX filing system. IEEE Transactions on Software Engineering (1984)","DOI":"10.1109\/TSE.1984.5010215"},{"key":"24_CR11","unstructured":"Stocks, P.: Applying Formal Methods to Software Testing. PhD thesis, The University of Queensland (1993), http:\/\/www.bond.edu.au\/it\/staff\/publications\/PhilS-pubs.htm"},{"key":"24_CR12","unstructured":"Utting, M., Malik, P.: Transforming Z with rules. In: ZUM 2007 at ICECCS 2007 in conjunction with FMinNZ 2007, Auckland (July 2007)"},{"key":"24_CR13","unstructured":"Utting, M.: Data structures for Z testing tools. In: Schellhorn, G., Reif, W. (eds.) FM-TOOLS 2000, 4th Workshop on Tools for System Design and Verification, vol.\u00a02000-07, pp. 2000\u20132007. Ulmer Informatik Berichte (May 2000)"},{"key":"24_CR14","unstructured":"Winikoff, M.: Analysing modes and subtypes in Z specifications. Technical Report 98\/2, Melbourne University (1998)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, B and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87603-8_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:11Z","timestamp":1606183511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87603-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876021","9783540876038"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87603-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}