Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal
A Study in Coverage-Driven Test Generation
DAC, 1999.
@inproceedings{DAC-1999-BenjaminGHMSW,
author = "Mike Benjamin and Daniel Geist and Alan Hartman and Gérard Mas and Ralph Smeets and Yaron Wolfsthal",
booktitle = "{Proceedings of the 36th Design Automation Conference}",
doi = "10.1145/309847.310108",
pages = "970--975",
publisher = "{ACM Press}",
title = "{A Study in Coverage-Driven Test Generation}",
year = 1999,
}