Test pattern generation in presence of unknown values based on restricted symbolic logic.

Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker

Browse the full ITC paper archive.