On Systematic Illegal State Identification for Pseudo-Functional Testing. - Feng Yuan; Qiang Xu (DAC: Annual ACM/IEEE Design Automation Conference, 2009)