Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de softwareJoão Choma Neto Thelma Elita Colanzi Lopes; Simone do Rocio Senger de Souza2023Item não circula. Consulte sua biblioteca.(Acessar) |
|
2 |
Material Type: Dissertação de Mestrado
|
Study and definition of project attributes for selection of testing techniques for concurrent softwareSantos, Italo De OliveiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-07-07Acesso online |
|
3 |
Material Type: Dissertação de Mestrado
|
Structural testing criteria for concurrent programs considering loop executionDiaz, Silvia Margarita DiazBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-05-24Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Tese de Doutorado
|
Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrenteSilvana Morita Melo Simone do Rocio Senger de Souza2018Localização: ICMC - Inst. Ciên. Mat. Computação (T M528uf e.1 )(Acessar) |
|
5 |
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. |
|
6 |
Material Type: Tese de Doutorado
|
Teste estrutural para aplicações concorrentes em ErlangOliveira, Alexandre Ponce DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-06-27Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Artigo de Congresso
|
How to test your concurrent software an approach for the selection of testing techniquesSilvana Morita Melo Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Jeffrey C Carver; Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH (2017 Vancouver, BC, Canada); ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems (4. 2017 Vancouver, BC, Canada)Proceedings New York : ACM, 2017New York ACM 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2892556 )(Acessar) |
|
8 |
Material Type: Tese de Doutorado
|
Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveisBrito, Maria Adelina SilvaBiblioteca 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-11Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Dissertação de Mestrado
|
Teste estrutural de programas concorrentes como uma composição de serviços na WebPrado, Rafael Regis DoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-03-24Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
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. |