Verification Coverage for Combining Test and Proof.

Viet Hoang Le Loïc Correnson Julien Signoles Virginie Wiels

Published in: TAP@STAF (2018)

Keyphrases

test suite
test generation
data sets
neural network
similarity measure
set of test cases
code coverage
computer vision
test data
theorem prover
theorem proving
formal analysis
false acceptance
database
asynchronous circuits
formal methods
face verification
combining multiple
information retrieval
databases
real time