Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang. Linking unit tests and properties. In Hans Svensson, Melinda Tóth, editors, Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015. pages 19-26, ACM, 2015. [doi]
@inproceedings{GerdesHSW15,
title = {Linking unit tests and properties},
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Meng Wang},
year = {2015},
doi = {10.1145/2804295.2804298},
url = {http://doi.acm.org/10.1145/2804295.2804298},
researchr = {https://researchr.org/publication/GerdesHSW15},
cites = {0},
citedby = {0},
pages = {19-26},
booktitle = {Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015},
editor = {Hans Svensson and Melinda Tóth},
publisher = {ACM},
isbn = {978-1-4503-3805-9},
}