Testing with Axioms in C++ 2011.

Anya Helene Bagge Valentin David Magne Haveraaen

Published in: J. Object Technol. (2011)

Keyphrases

test cases
knowledge base
real time
neural network
real world
machine learning
image sequences
objective function
software testing