Establishing structural testing criteria for Java bytecode
Software Baseado em Componentes: Uma Revisão sobre Teste
Component-Based Software: An Overview of Testing
Mutation Testing Applied to Validate SDL Specifications
JaBUTi: A coverage analysis tool for Java Programs
Java bytecode static analysis: Deriving structural testing requirements
Science of Computer Programming
Softw: Pract. Exper.
José Carlos Maldonado
Marcio Eduardo Delamaro
Auri Marcelo Rizzo Vincenzi
Tatiana Sugeta
Edmundo Sérgio Spoto
M.E. Delamaro