Generalized typestate checking for data structure consistency (2005)

by P Lam, V Kuncak, M Rinard
Venue:In 6th International Conference on Verification, Model Checking and Abstract Interpretation