A language-independent approach to black-box testing using Erlang as test specification language | Publicación