Is MCDC Really Better? Lessons from Combining Tests and Proofs.

Li Huang, Bertrand Meyer, Manuel Oriol

Browse the full TAP paper archive.