@inproceedings{nepalITC08,
 author = {Kundan Nepal and Nuno Alves and Jennifer Dworak and Iris Bahar},
 title = {Using Implications for Online Error Detection},
 booktitle = {International Test Conference (ITC)},
 month= {October 28-30},
 year = {2008},
 organization={IEEE},
 editor ={},
 isbn = {1-4244-4203-0/08},
 pages = {24.2},
 publisher = {},
 address = {}
 }