Inference and enforcement of data structure consistency specifications.

Sun, 01 Jan 2006 00:00:00 +0100

Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard:
Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244