Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Yue Wu, Weiwu Hu. Empirical design bugs prediction for verification. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 161-166, IEEE, 2011. [doi]
Abstract is missing.