Error Detection Using Model Checking vs. Simulation. - Shireesh Verma; Patricia S. Lee; Ian G. Harris (HLDVT, 2006)

Test generation for subtractive specification errors. - Patricia S. Lee; Ian G. Harris (VTS, 2012)