Empirical design bugs prediction for verification.

Qi Guo 0001 Tianshi Chen 0002 Haihua Shen Yunji Chen Yue Wu Weiwu Hu Empirical design bugs prediction for verification. 161-166 2011 DATE https://doi.org/10.1109/DATE.2011.5763036 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763036 conf/date/2011 db/conf/date/date2011.html#GuoCSCWH11