Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías. Property driven development in Erlang, by example. In Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer, editors, The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa. pages 75-78, ACM, 2010. [doi]
Abstract is missing.