Accurate QBF-based test pattern generation in presence of unknown values.

Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker

Browse the full DATE paper archive.