Testing with concepts and axioms in C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Browse the full OOPSLA paper archive.