Anya Helene Bagge, Valentin David, Magne Haveraaen. The axioms strike back: testing with concepts and axioms in C++. In Jeremy G. Siek, Bernd Fischer, editors, Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings. pages 15-24, ACM, 2009. [doi]
@inproceedings{BaggeDH09,
title = {The axioms strike back: testing with concepts and axioms in C++},
author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
year = {2009},
doi = {10.1145/1621607.1621612},
url = {http://doi.acm.org/10.1145/1621607.1621612},
tags = {testing, C++},
researchr = {https://researchr.org/publication/BaggeDH09},
cites = {0},
citedby = {0},
pages = {15-24},
booktitle = {Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings},
editor = {Jeremy G. Siek and Bernd Fischer},
publisher = {ACM},
isbn = {978-1-60558-494-2},
}