Generalized typestate checking for data structure consistency (2005)

by Patrick Lam, Viktor Kuncak, Martin Rinard
Venue:In Proc. 6th International Conference on Verification, Model Checking and Abstract Interpretation