Exact stuck-at fault classification in presence of unknowns.

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

Browse the full ETS paper archive.