CURRENT: a test generation system for I

Udo Mahlstedt, Jrgen Alt, Matthias Heinitz

Browse the full VTS paper archive.