Browsing by Subject "Z notation"

Now showing items 1-2 of 2

  • Automated Boundary Testing from Z and B

    Legeard, Bruno; Peureux, Fabien; Utting, Mark (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

    Pilbrow, Colin (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 ...