Risk Coverage: A New Currency for Testing