Verification and Compliance Testing.

Frank Guerin Jeremy Pitt

Published in: Communication in Multiagent Systems (2003)

Keyphrases

formal verification
test generation
symbolic execution
model checking
test set
test cases
decision making
artificial neural networks
software testing
face verification
formal analysis
data sets
expert systems
statistical tests