Martin Keim, Nicole Drechsler, Bernd Becker. Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. In Proceedings of the 1999 Conference on Asia South Pacific Design Automation, January 18-21, 1999, Wanchai, Hong Kong. pages 315-318, IEEE, 1999. [doi]
Abstract is missing.