M. Delamaro <em>et al.</em>"Static Analysis of Java Bytecode for Domain-specific Software Testing", in <em>Anais do XXI Simpósio Brasileiro de Engenharia de Software</em>, João Pessoa, 2007, pp. 325-341, doi: <a href="https://doi.org/10.5753/sbes.2007.21314">https://doi.org/10.5753/sbes.2007.21314</a>.