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]
Abstract is missing.