Differential coverage: : automating coverage analysis | IEEE Conference Publication | IEEE Xplore