Márcio Delamaro <em>et al. </em>2007.
 Static Analysis of Java Bytecode for Domain-specific Software Testing. In <em>Proceedings of the 21st Brazilian Symposium on Software Engineering</em>, October 15, 2007, João Pessoa, Brasil. SBC, Porto Alegre, Brasil, 325-341. DOI: <a href="https://doi.org/10.5753/sbes.2007.21314">https://doi.org/10.5753/sbes.2007.21314</a>.