Coverage Estimation for Symbolic Model Checking.

Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao

Browse the full DAC paper archive.