dc.contributor.author | Utting, Mark | |
dc.contributor.author | Malik, Petra | |
dc.coverage.spatial | Conference held at London, UK | en_NZ |
dc.date.accessioned | 2009-01-13T22:52:32Z | |
dc.date.available | 2009-01-13T22:52:32Z | |
dc.date.issued | 2008 | |
dc.identifier.citation | Utting, M. & Malik, P. (2008).Unit testing of Z specifications. In E. Borger et al. (Eds), Proceeding of First International Conference, ABZ 2008, London, UK, September 16-18, 2008. (pp. 309-322). Berlin: Springer. | en |
dc.identifier.uri | https://hdl.handle.net/10289/1779 | |
dc.description.abstract | We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive. | en |
dc.language.iso | en | |
dc.publisher | Springer | en |
dc.relation.uri | http://www.springerlink.com/content/q773570287275233/?p=ea3b0e3e733d42b2a8c36ca90e9c5e97&pi=23 | en |
dc.source | ABZ 2008 | en_NZ |
dc.subject | computer science | en |
dc.subject | unit testing | en |
dc.title | Unit testing of Z specifications | en |
dc.type | Conference Contribution | en |
dc.identifier.doi | 10.1007/978-3-540-87603-8_24 | en |
dc.relation.isPartOf | Proc 1st International Conference on Abstract State Machines, B and Z | en_NZ |
pubs.begin-page | 309 | en_NZ |
pubs.elements-id | 18130 | |
pubs.end-page | 322 | en_NZ |
pubs.finish-date | 2008-09-18 | en_NZ |
pubs.start-date | 2008-09-16 | en_NZ |
pubs.volume | LNCS 5238 | en_NZ |