Testing with concepts and axioms in C++.

Anya Helene Bagge Valentin David Magne Haveraaen

Published in: OOPSLA Companion (2008)

Keyphrases

knowledge base
background knowledge
medical terminology
databases
test cases
neural network
learning algorithm
artificial intelligence
database systems
image sequences
multi agent systems
object oriented
software development