Sign in
Verification, Testing and Statistics.
Sriram K. Rajamani
Published in:
ICTAC (2009)
Keyphrases
</>
formal verification
test generation
symbolic execution
face verification
real time
data sets
neural network
test set
test cases
statistical tests
software testing
statistical modeling
formal methods
formal analysis
fingerprint verification