DMCA

Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits (1998)

by Martin Keim , Nicole Drechsler , Bernd Becker
Venue:In ASP Design Automation Conf
Citations:4 - 2 self