dc.contributor.author | Utting, Mark | en_US |
dc.date.accessioned | 2008-03-19T04:58:22Z | |
dc.date.available | 2007-07-22 | en_US |
dc.date.available | 2008-03-19T04:58:22Z | |
dc.date.issued | 2001-06-01 | en_US |
dc.identifier.citation | Utting, M. (2001). Data structures for Z testing tools. (Working paper series. University of Waikato, Department of Computer Science. No. 01/4/2001). Hamilton, New Zealand: University of Waikato. | en_US |
dc.identifier.uri | https://hdl.handle.net/10289/96 | |
dc.description.abstract | This paper describes some of the difficulties and challenges that arise during the design of tools for validating Z specifications by testing and animation. We address three issues: handling undefined terms, simplification versus enumeration, and the representation of sets, and show how each issue has been handled in the Jaza tool.
Finally, we report on a brief experimental comparison of existing Z animators and conclude that while the state of the art is improving, more work is needed to ensure that the tools are robust and respect the Z semantics. | en_US |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.publisher | University of Waikato, Department of Computer Science | |
dc.relation.ispartofseries | Computer Science Working Papers | |
dc.title | Data structures for Z testing tools. | en_US |
dc.type | Working Paper | en_US |
uow.relation.series | 01/4 | |