Utting, MarkMalik, Petra2009-01-132009-01-132008Utting, 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.https://hdl.handle.net/10289/1779We 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.encomputer scienceunit testingConference Contribution10.1007/978-3-540-87603-8_24