Coverage and Its Discontents
CarFast: achieving higher statement coverage faster