Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Applying test set minimization to mutation-based test criteriaSimone S de Souza José Carlos Maldonado; ISSAT International Conference (4. 1998 Seattle)Proceedings Seattle : ISSAT, 1998Seattle ISSAT 1998Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-999978 ) e outros locais(Acessar) |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhadaMelo, Silvana MoritaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-10-11Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Contribuições ao ensino de teste de software com o modelo flipped classroom e um agente conversacionalPaschoal, Leo NatanBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-03-20Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Dissertação de Mestrado
|
![]() |
Qualidade de software no desenvolvimento com métodos ágeisOliveira, Bruno HenriqueBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2014-04-25Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentesVilela, Ricardo FerreiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-08-01Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Tese de Doutorado
|
![]() |
Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.Souza, Simone Do Rocio Senger DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 2000-12-14Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Um estudo de caracterização e avaliação de critérios de teste estruturais entre os paradigmas procedimental e OOPrado, Marllos PaivaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2009-05-18Acesso online. A biblioteca também possui exemplares impressos. |
8 |
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. |
9 |
Material Type: Livro
|
![]() |
Parallel virtual machine for windows 95Marcos José Santana P S Souza; Regina Helena Carlucci Santana; S S SouzaBode, A; Dongarra, J; Ludwig, T; Sunderman, V Berlin : Springer, 1996 Lectures notes in computer science, 1156 Parallel Virtual Machine - Euro Pvm'96Berlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-913668 ) e outros locais(Acessar) |
10 |
Material Type: Relatório Técnico
|
![]() |
Vali_sync um módulo para instrumentação e execução de testes temporais em programas paralelosMário Santos Camillo Adenilso da Silva Simão; Simone do Rocio Senger de SouzaSão Carlos ICMC-USP 2006Localização: ICMC - Inst. Ciên. Mat. Computação (RT SSC n.288 C183vs e.1 ) e outros locais(Acessar) |