Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Utting, Mark - Department of Computer Science, University of Waikato
Reference Manual for the CZT Eclipse Interface Author: Chengdong Xu and Mark Utting
Automated Boundary Testing from Z and B Bruno Legeard, Fabien Peureux, and Mark Utting 1
Position Paper: Model-Based Testing Mark Utting
Verification of Starlog Programs John Cleary and Mark Utting
An ObjectOriented Refinement Calculus
Data Structures for Z Testing Tools Mark Utting
Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton
CZT: A Framework for Z Tools Petra Malik and Mark Utting
A Comparison of the BTT and TTF Test-Generation Methods
Jaza User Manual and Tutorial Mark Utting
Implementing Z C Substitutions in Ergo Mark Utting and Steve Reeves
Formal Aspects of Computing (1997) 3: 1--000 fl 1997 BCS
Data Structures for Z Testing Tools Mark Utting
