@inproceedings{alvesETS08, author = {N. Alves, K. Nepal, J. Dworak, R. I. Bahar}, title = {Detecting Multi-cycle Errors using Invariance Information}, booktitle = {13th European Test Symposium}, month= {May 25-29}, year = {2008}, organization={IEEE}, editor ={}, isbn = {}, pages = {}, publisher = {}, address = {Verbania, Italy} }