Chun-Jen Wei, Guang-Huei Lin, Ya-Nan Wen, Sao-Jie Chen, Yu Hen Hu. Symbolic verification and error prediction methodology. In 2007 IEEE International SOC Conference, Tampere, Finland, November 19-21, 2007. pages 201-204, IEEE, 2007. [doi]
Abstract is missing.