Specification for Testing - The Removal of Abstraction.

Ivor T. A. Spence

Published in: Softw. Test. Verification Reliab. (1998)

Keyphrases

high level
formal verification
test case generation
test cases
formal specification
specification language
model checking
search algorithm
statistical tests
formal methods
formal language