The Epistemology of Validation and Verification Testing.

T. S. E. Maibaum

Published in: TestCom (2005)

Keyphrases

test generation
formal verification
symbolic execution
model checking
model based testing
test cases
statistical tests
high security
formal methods
database
test data
signature verification
software development
case study
website
learning algorithm
concurrent systems
neural network