Is MCDC Really Better? Lessons from Combining Tests and Proofs | Publicación