Andrea Fedeli Franco Fummi Graziano Pravadelli Properties Incompleteness Evaluation by Functional Verification. 528-544 2007 56 IEEE Trans. Computers 4 http://dx.doi.org/10.1109/TC.2007.1012 db/journals/tc/tc56.html#FedeliFP07