Axiom-based testing for C++.

Anya Helene Bagge Valentin David Magne Haveraaen

Published in: OOPSLA Companion (2008)

Keyphrases

test cases
test set
inference rules
information retrieval
multiscale
preprocessing
trade off
test data
modal logic