coverage: measure better, report better