Coleta de Dados sobre os Programas de Pós-Graduação na Área de Ciência de Computação no Brasil - 2000
Coverage Testing Software Architectural Design in SDL
Prolog & TXL: A Case Study for Prototyping Structural Testing Supporting Tools
Structural and Mutation Testing for SDL Specifications: A Case Study
Mutation Testing Applied to Validate SDL Specifications
Smart Debugging Software Architectural Design in SDL
José Carlos Maldonado
Adenilso da Silva Simão
W. E. Wong
Paulo Cesar Masiero
Sandra Camargo Pinto Ferraz Fabbri
Maria Carolina Monard