D 3.4b - Testing Theories and Coverage Criteria (Final Version)