Thomas Arts, Simon J. Thompson. From test cases to FSMs: augmented test-driven development and property inference. In Scott Lystig Fritchie, Konstantinos F. Sagonas, editors, Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010. pages 1-12, ACM, 2010. [doi]
Abstract is missing.