DMCA

Coverage-Directed Test Generation Using Symbolic Techniques (1996)

Cached

Download Links

by Daniel Geist Monica , Monica Farkas , Avner Landver , Yossi Lichtenstein , Shmuel Ur , Yaron Wolfsthal
Venue:In Proceedings of the Int'l Conference on Formal Methods in CAD