Show simple item record  

dc.contributor.authorUtting, Marken_US
dc.date.accessioned2008-03-19T04:58:22Z
dc.date.available2007-07-22en_US
dc.date.available2008-03-19T04:58:22Z
dc.date.issued2001-06-01en_US
dc.identifier.citationUtting, 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.urihttps://hdl.handle.net/10289/96
dc.description.abstractThis 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.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Science
dc.relation.ispartofseriesComputer Science Working Papers
dc.titleData structures for Z testing tools.en_US
dc.typeWorking Paperen_US
uow.relation.series01/4


Files in this item

This item appears in the following Collection(s)

Show simple item record