Show simple item record  

dc.contributor.authorUtting, Mark
dc.contributor.authorMalik, Petra
dc.coverage.spatialConference held at London, UKen_NZ
dc.date.accessioned2009-01-13T22:52:32Z
dc.date.available2009-01-13T22:52:32Z
dc.date.issued2008
dc.identifier.citationUtting, 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.urihttps://hdl.handle.net/10289/1779
dc.description.abstractWe 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.isoen
dc.publisherSpringeren
dc.relation.urihttp://www.springerlink.com/content/q773570287275233/?p=ea3b0e3e733d42b2a8c36ca90e9c5e97&pi=23en
dc.sourceABZ 2008en_NZ
dc.subjectcomputer scienceen
dc.subjectunit testingen
dc.titleUnit testing of Z specificationsen
dc.typeConference Contributionen
dc.identifier.doi10.1007/978-3-540-87603-8_24en
dc.relation.isPartOfProc 1st International Conference on Abstract State Machines, B and Zen_NZ
pubs.begin-page309en_NZ
pubs.elements-id18130
pubs.end-page322en_NZ
pubs.finish-date2008-09-18en_NZ
pubs.start-date2008-09-16en_NZ
pubs.volumeLNCS 5238en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record