Inference and enforcement of data structure consistency specifications.

Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard

Browse the full ISSTA paper archive.