Unit verification: the CARA experience.

Arnab Ray Rance Cleaveland

Published in: Int. J. Softw. Tools Technol. Transf. (2004)

Keyphrases

model checking
user experience
learning algorithm
website
verification method
database
neural network
feature selection
e learning
multiscale
learning curve
formal verification