Independent Test Verification: Consolidated Experience Report.

Nuno Silva Rui Lopes

Published in: SBQS (2012)

Keyphrases

test generation
database
web services
face verification
machine learning
multiscale
mobile robot
model checking
formal verification