Inference and enforcement of data structure consistency specifications (2006)

by Brian Demsky, Michael D Ernst, Philip J Guo, Stephen McCamant, Jeff H Perkins, Martin Rinard
Venue:In ISSTA ’06: Proceedings of the 2006 international symposium on Software testing and analysis