Browsing Department of Informatics by Document Types "Research report"
Now showing items 1-1 of 1
-
Testing with Concepts and Axioms in C++
(Reports in Informatics: 368, Research report, 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 ...