DMCA

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 Proceedings of the International Symposium on Software Testing and Analysis
Citations:62 - 19 self