Kundan Nepal, Nuno Alves, Jennifer Dworak, R. Iris Bahar. Using Implications for Online Error Detection. In Douglas Young, Nur A. Touba, editors, 2008 IEEE International Test Conference, ITC 2008, Santa Clara, California, USA, October 26-31, 2008. pages 1-10, IEEE, 2008. [doi]