Combining Testing and Runtime Verification Techniques.

Kevin Falzon Gordon J. Pace

Published in: MOMPES (2012)

Keyphrases

test generation
symbolic execution
formal verification
model checking
information retrieval
test set
signature verification
databases
neural network
information systems
image sequences
digital libraries
software engineering
face verification