Dr. Dobb's published my article "Achieve More Comprehensive Verification With Less Work" online - check it out!