Verification, Testing and Statistics.

Sriram K. Rajamani

Published in: RV (2009)

Keyphrases

formal verification
test generation
symbolic execution
model checking
test cases
verification method
statistical methods
asynchronous circuits
java card
image statistics
statistical modeling
real time
test set
data structure
multiscale
website
computer vision
data mining