Modular pluggable analyses for data structure consistency. (2006)

by V Kuncak, P Lam, K Zee, M Rinard
Venue:IEEE Transactions on Software Engineering,