Abstraction-based relation mining for functional test generation.

Kelson Gent, Michael S. Hsiao

Browse the full VTS paper archive.