Using Verification Technology for Validation Coverage Analysis and Test Generation.

Dinos Moundanos, Jacob A. Abraham

Browse the full VTS paper archive.