Automating Test Case Generation from Z Specifications with Isabelle.

Steffen Helke Thomas Neustupny Thomas Santen

Published in: ZUM (1997)

Keyphrases

test case generation
test cases
software testing
test data generation
object oriented systems
theorem prover
formal specification
test suite
high level
software engineering
source code
java programs
training data
relational databases
quality assurance
test generation