Synthesis of locally exhaustive test pattern generators.

Gnter Kemnitz

Browse the full VTS paper archive.