Sign in
Enabling Run-Time System Verification through Built-In Testing.
Daniel Brenner
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