Brian Demsky Michael D. Ernst Philip J. Guo Stephen McCamant Jeff H. Perkins Martin C. Rinard Inference and enforcement of data structure consistency specifications. 233-244 2006 conf/issta/2006 ISSTA http://doi.acm.org/10.1145/1146238.1146266 db/conf/issta/issta2006.html#DemskyEGMPR06