From Execution to Necessity: Proof-Based Metrics for Code Coverage (Short Paper).

Karl Mattsson, Peter Backeman

Browse the full FM paper archive.