On systematic illegal state identification for pseudo-functional testing

Feng Yuan, Qiang Xu. On systematic illegal state identification for pseudo-functional testing. In Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009. pages 702-707, ACM, 2009. [doi]

Authors

Feng Yuan

This author has not been identified. Look up 'Feng Yuan' in Google

Qiang Xu

This author has not been identified. Look up 'Qiang Xu' in Google