Browsing by Subject "Z notation"
Now showing items 1-2 of 2
-
Automated Boundary Testing from Z and B
(Springer, 2002)We present a method for black-box boundary testing from B and Z formal specifications. The basis of the method is to test every operation of the system at every boundary state using all input boundary values of that ... -
Characterising sound visualisations of specifications using refinement
(The University of Waikato, 2019)Visualisations can be used to help analyse, explore, and validate Z specifications. However, if visualisations contain errors or are used incorrectly then they can be misleading and harmful. The aim of this work is to ...