Executable Testers.

Published in: Protocol Test Systems (1993)

Keyphrases

test cases
formal specification
real world
feature selection
end users
knowledge representation
software engineering
business processes