@inproceedings{gorbovitski08efficient,
author = "Michael Gorbovitski and Tom Rothamel and Yanhong A. Liu and Scott D. Stoller",
title = "Efficient Runtime Invariant Checking: A Framework and Case Study",
booktitle = "Proceedings of the 6th International Workshop on Dynamic Analysis (WODA 2008)",
publisher="ACM Press",
year = 2008
}