-Adding Runtime Verification to jUnit.

Normann Decker Martin Leucker Daniel Thoma

Published in: NASA Formal Methods (2013)

Keyphrases

model checking
real time
test suite
asynchronous circuits
computer vision
training data
web applications
face verification
formal methods
signature verification
person identification
verification method
java code