Now showing items 1-1 of 1
Testing with Concepts and Axioms in C++
(University of Bergen, Department of Informatics, 2008-10)
Modern development practices encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically case-based, checking a likely ...