Verification, Testing and Statistics.

Sriram K. Rajamani

Published in: FM (2009)

Keyphrases

formal verification
test generation
symbolic execution
model checking
test cases
signature verification
high security
databases
information systems
decision making
metadata
web services
test set