On narrowing the gap between verification and systematic testing.

Maria Christakis

Published in: it Inf. Technol. (2017)

Keyphrases

formal verification
symbolic execution
test generation
test cases
model checking
data sets
machine learning
artificial intelligence
verification method
real time
e learning
image sequences
multiscale
test data
person identification
high security