A Study in Coverage-Driven Test Generation. - Mike Benjamin; Daniel Geist; Alan Hartman; Gérard Mas; Ralph Smeets; Yaron Wolfsthal (DAC, 1999)