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: 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. |
|
6 |
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. |
|
7 |
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. |
|
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: Artigo de Congresso
|
Desenvolvimento de um sistema computadorizado para medida da esfericidade da córnea durante o ato cirurgicoL. A. V. Carvalho S. J. F Souza; Jarbas Caiado de Castro Neto; Forum Nacional de Ciencia e Tecnologia em Saude (3. 1996 Campos do Jordao)Anais 1996Campos do Jordão 1996Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-911900 ) e outros locais(Acessar) |