A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance.

Orna Kupferman, Wenchao Li, Sanjit A. Seshia

Browse the full FMCAD paper archive.