A Study in Coverage-Driven Test Generation.

Mike Benjamin, Daniel Geist, Alan Hartman, Grard Mas, Ralph Smeets, Yaron Wolfsthal

Browse the full DAC paper archive.