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: Tese de Doutorado
|
![]() |
Otimização bioinspirada para apoio à geração de dados de teste para software concorrenteVilela, 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 2021-05-10Acesso online |
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: 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: 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. |
10 |
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) |