Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen. Inferring Static Non-monotone Size-aware Types Through Testing. Electronic Notes in Theoretical Computer Science, 216:45-63, 2008. [doi]
@article{KesterenSE08,
title = {Inferring Static Non-monotone Size-aware Types Through Testing},
author = {Ron van Kesteren and Olha Shkaravska and Marko C. J. D. van Eekelen},
year = {2008},
doi = {10.1016/j.entcs.2008.06.033},
url = {http://dx.doi.org/10.1016/j.entcs.2008.06.033},
tags = {testing, C++, context-aware},
researchr = {https://researchr.org/publication/KesterenSE08},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {45-63},
}