Unit Testing of Z Specifications.

Mark Utting Petra Malik

Published in: ABZ (2008)

Keyphrases

unit testing
test cases
software testing
integration testing
tool suite
black box
test suite
control flow
databases
case study
relational databases
software engineering
software systems
formal specification
regression testing