Software Axioms
 

    This is an essay on using mathematically-inspired Axioms as a replacement for (and upgrade to) Software Unit Testing.  It covers many useful properties of Axioms, including benefits to program efficiency, modularity, and robustness.

    Software Axioms [PDF]