Biasi, Luciano, and Karin Becker. "Geração automatizada de drivers e stubs de teste para JUnit a partir de especificações U2TP." Anais do XX Simpósio Brasileiro de Engenharia de Software, Florianópolis, 2006. SBC, 2006, pp.33-48.