Adenilso da Silva Simão Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Antonio Carlos Lima Santana; Conferencia Latinoamericana de Informática - infoUYclei (28. 2002 Montevideo)
2002
2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1278944 ) e outros locais(Acessar)
Coloured petri nets safety analysis using mutation testing
Adenilso da Silva Simão José Carlos Maldonado; Workshop em Segurança (Safety Workshop): Sistemas Computacionais em Aplicações Críticas (2003 São Paulo)
Trabalhos Apresentados São Paulo: EPUSP, 2003
São Paulo EPUSP 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1340877 ) e outros locais(Acessar)
Proteum/sml uma ferramenta de apoio ao teste de mutação para a linguagem standard ml
Thaise Yano Adenilso da Silva Simão; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus); Sessão de Ferramentas (10. 2003 Manaus)
Anais Manaus: Editora da UFA,2003
Manaus Editora da UFA 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1338914 ) e outros locais(Acessar)
EvalTool um ambiente de apoio à avaliação e seleção de ferramentas de teste para programas orientados a objetos
André Luís dos Santos Domingues Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (16. 2002 Gramado)
Anais Porto Alegre: Instituto de Informática da UFRGS, 2002
Porto Alegre Instituto de Informática da UFRGS 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1275907 ) e outros locais(Acessar)