Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Análise de mutantes no contexto de sistemas reativos : uma contribuição para o estabelecimento de estratégias de teste e validaçãoFabbri, Sandra Camargo Pinto FerrazBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1996-10-21Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Tese de Doutorado
|
Mutação de interface: um critério Interprocedimental para o teste de integraçãoDelamaro, Márcio EduardoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1997-06-17Acesso online |
|
3 |
Material Type: Dissertação de Mestrado
|
Subsídios para o estabelecimento de estratégias de teste baseadas na técnica de mutação.Vincenzi, Auri Marcelo RizzoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1998-11-06Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
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. |
|
5 |
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. |
|
6 |
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 C.Barbosa, Ellen FrancineBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1998-11-06Acesso online |
|
7 |
Material Type: Artigo
|
An assessment of extended finite state machine test selection criteriaKhaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos MaldonadoThe Journal of Systems and Software Amsterdm : Elsevier v. 123, p. 106-118, Jan. 2017Amsterdam 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2782530 )(Acessar) |
|
8 |
Material Type: Artigo
|
Correlating automatic static analysis and mutation testing towards incremental strategiesClaudio A. Araújo (Claudio Antônio de Araújo) Márcio Eduardo Delamaro; José Carlos Maldonado; Auri Marcelo Rizzo VincenziJournal of Software Engineering Research and Development Heidelberg : SpringerOpen v. 4, n. 5, p. 1-32, Nov. 2016Heidelberg 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2791846 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Where are the minimal mutants?Márcio Eduardo Delamaro Marcos Lordello Chaim; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (32. 2018 São Carlos, SP)Proceedings New York : ACM, 2018New York, NY ACM 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2912617 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Reducing the cost of mutation testing with the use of primitive arcs conceptPedro Henrique Kuroishi Márcio Eduardo Delamaro; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi; Brazilian Symposium on Software Quality - SBQS (19. 2020 São Luiz)Proceedings New York : ACM, 2020New York ACM 2020Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3022420 )(Acessar) |