A language-independent approach to black-box testing using Erlang as test specification language. - Castro, Laura M.; Francisco, Miguel A. (J. Syst. Softw., 2013)