Generating pseudo-exhaustive vectors for external testing.

Sybille Hellebrand, Hans-Joachim Wunderlich, Oliver F. Haberl

Browse the full ITC paper archive.