Enabling Run-Time System Verification through Built-In Testing.

Published in: TAIC PART (2006)

Keyphrases

test generation
formal verification
test cases
symbolic execution
data sets
machine learning
artificial intelligence
computer vision
face verification
real time
neural network
real world
image segmentation
digital libraries
model checking
high security