Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Toward harnessing a Java high-level language virtual machine for supporting software testingDurelli, Vinicius Humberto SerapilhaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-10-01Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Tese de Doutorado
|
Formal mutation testing in Circus process algebraAlberto, Alex Donizeti BetezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-09-21Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
Teste de mutação aplicado a programas concorrentes em MPISilva, Rodolfo AdamshukBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-03-13Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
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 |
|
5 |
Material Type: Dissertação de Mestrado
|
Avaliação da qualidade de oráculos de teste utilizando mutaçãoMaciel, Ana ClaudiaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-04-19Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Dissertação de Mestrado
|
Execução paralela de programas como suporte ao teste de mutaçãoAndrade, Stevão Alves DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-04-08Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Dissertação de Mestrado
|
Seleção de Dados de Teste com Base na Aplicação de Testes de Mutação a Modelos de Árvore de DecisãoSilveira, Beatriz Nogueira Carvalho DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2024-05-10Acesso online |
|
8 |
Material Type: Tese de Doutorado
|
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programsSilva, Rodolfo AdamshukBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-05-30Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Dissertação de Mestrado
|
Uma abordagem para identificação de mutantes minimais e equivalentes baseada na estrutura do código fonteBrito Junior, ClaudineiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2022-05-02Acesso online |
|
10 |
Material Type: Tese de Doutorado
|
Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em buscaSouza, Francisco Carlos MonteiroBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-05-24Acesso online |