Thomas Arts, Laura M. Castro. Model-based testing of data types with side effects. In Kenji Rikitake, Erik Stenman, editors, Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011. pages 30-38, ACM, 2011. [doi]
@inproceedings{ArtsC11,
title = {Model-based testing of data types with side effects},
author = {Thomas Arts and Laura M. Castro},
year = {2011},
doi = {10.1145/2034654.2034662},
url = {http://doi.acm.org/10.1145/2034654.2034662},
researchr = {https://researchr.org/publication/ArtsC11},
cites = {0},
citedby = {0},
pages = {30-38},
booktitle = {Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011},
editor = {Kenji Rikitake and Erik Stenman},
publisher = {ACM},
isbn = {978-1-4503-0859-5},
}