Delamaro, Márcio, Paulo A. Nardi, Otávio Lemos, Paulo C. Masiero, Edmundo S. Spoto, José C. Maldonado, and Auri M. R. Vincenzi.
"Static Analysis of Java Bytecode for Domain-specific Software Testing." <em>Anais do XXI Simpósio Brasileiro de Engenharia de Software,
João Pessoa, 2007</em>. SBC, 2007,  
pp.325-341.