Efficient runtime invariant checking: a framework and case study.

Michael Gorbovitski Tom Rothamel Yanhong A. Liu Scott D. Stoller Efficient runtime invariant checking: a framework and case study. 43-49 2008 WODA http://doi.acm.org/10.1145/1401827.1401837 conf/issta/2008w db/conf/issta/woda2008.html#GorbovitskiRLS08