Formal (Documented) Testing