Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas CEllen Francine Barbosa José Carlos Maldonado1998Localização: ICMC - Inst. Ciên. Mat. Computação (T B238c e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Dissertação de Mestrado
|
Definição de Mecanismos para Avaliação de Qualidade de Produtos de SoftwareSimão, Vangrei FonsecaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2001-09-10Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.Sugeta, TatianaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1999-12-10Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Dissertação de Mestrado
|
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.Simão, Adenilso Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Dissertação de Mestrado
|
Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dadosCampanha, Diogo NascimentoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2010-12-06Acesso online. A biblioteca também possui exemplares impressos. |