Empirical design bugs prediction for verification.

Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Yue Wu, Weiwu Hu

Browse the full DATE paper archive.