| 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 |
