Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits.

Martin Keim, Nicole Drechsler, Bernd Becker

Browse the full ASPDAC paper archive.