Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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. |
|
2 |
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. |
|
3 |
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. |
|
4 |
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. |
|
5 |
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. |
|
6 |
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. |
|
7 |
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. |
|
8 |
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) |
|
9 |
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) |
|
10 |
Material Type: Tese (Outras)
|
Contribuições na área de teste de sodtware concorrenteSimone do Rocio Senger de Souza2014Localização: ICMC - Inst. Ciên. Mat. Computação (T S729ct e.1 )(Acessar) |