Maria Christakis, Alkis Gotovos, Konstantinos F. Sagonas. Systematic Testing for Detecting Concurrency Errors in Erlang Programs. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013. pages 154-163, IEEE, 2013. [doi]
Abstract is missing.