Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard. Inference and enforcement of data structure consistency specifications. In Lori L. Pollock, Mauro Pezzè, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. pages 233-244, ACM, 2006. [doi]
@inproceedings{DemskyEGMPR06,
title = {Inference and enforcement of data structure consistency specifications},
author = {Brian Demsky and Michael D. Ernst and Philip J. Guo and Stephen McCamant and Jeff H. Perkins and Martin C. Rinard},
year = {2006},
doi = {10.1145/1146238.1146266},
url = {http://doi.acm.org/10.1145/1146238.1146266},
tags = {data-flow, C++, consistency},
researchr = {https://researchr.org/publication/DemskyEGMPR06},
cites = {0},
citedby = {0},
pages = {233-244},
booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006},
editor = {Lori L. Pollock and Mauro Pezzè},
publisher = {ACM},
isbn = {1-59593-263-1},
}