Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors.

Yatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham

Browse the full ICCD paper archive.