L. Biasi and K. Becker. "Geração automatizada de drivers e stubs de teste para JUnit a partir de especificações U2TP", in Anais do XX Simpósio Brasileiro de Engenharia de Software, Florianópolis, 2006, pp. 33-48, doi: https://doi.org/10.5753/sbes.2006.21203.