Improving test pattern generation in presence of unknown values beyond restricted symbolic logic.

Karsten Scheibler, Dominik Erb, Bernd Becker

Browse the full ETS paper archive.