Axiom-based testing for C++
Anya Helene Bagge, Valentin David, Magne Haveraaen · 2008
Axioms, known from program specification, allow program functionality to be described as rules or equations. The draft C++0x standard introduces axioms as part of the new concept feature. We will demonstrate a tool that uses these features for automated unit testing.