mdd:test_coverage_and_post-verification_defects