Efficient runtime invariant checking: a framework and case study.

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

Browse the full ISSTA paper archive.