Now showing items 6-6 of 6

  • Unit testing of Z specifications

    Utting, Mark; Malik, Petra (Springer, 2008)
    We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable ...