Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Bio-inspired optimization to support the test data generation of concurrent softwareRicardo Ferreira Vilela João Choma Neto; Victor Hugo Santiago Costa Pinto; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de SouzaConcurrency and Computation : Practice and Experience Oxford : Wiley v. 35, n. 2, p. 1-30, 2023Oxford 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3120745 )(Acessar) |
|
2 |
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) |
|
3 |
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 |
|
4 |
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 |
|
5 |
Material Type: Artigo de Congresso
|
Structural testing criteria for concurrent programs consideringloop executionsSilvia Margarita Diaz Diaz Paulo Sérgio Lopes de Souza; Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD (20. 2019 Campo Grande); Concurso de Teses e Dissertações (2019 Campo Grande)Anais Estendidos Porto Alegre : SBC, 2019SBC Porto Alegre 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2991034 )(Acessar) |
|
6 |
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. |
|
7 |
Material Type: Artigo de Congresso
|
Effectiveness evaluation of the synchronization sequence testing in Java concurrent programRodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Escola Regional de Engenharia de Software - ERES (3. 2019 Rio do Sul)Anais Porto Alegre : SBC, 2019Porto Alegre SBC 2019Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Artigo de Congresso
|
Bio-inspired optimization of test data generation for concurrent softwareRicardo Ferreira Vilela Victor Hugo Santiago Costa Pinto; Thelma Elita Colanzi; Simone do Rocio Senger de Souza; International Symposium on Search Based Software Engineering - SSBSE (11. 2019 Tallinn, Estonia)Lecture Notes in Computer Science - LNCS Cham : Springer v. 11664, p. 121-136, 2019Cham Springer 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2959518 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Study and definition of project attributes for selection of testing techniques for concurrent softwareÍtalo de Oliveira Santos Simone do Rocio Senger de Souza; Congresso Brasileiro de Software - CBSoft (10. 2019 Salvador); Workshop de Teses e Dissertações - WTDSoft (2019 Salvador)Proceedings Porto Alegre : SBC,2019Porto Alegre SBC 2019Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo
|
Empirical research on concurrent software testing a systematic mapping studySilvana M. Melo (Silvana Morita Melo) Jeffrey C Carver; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de SouzaInformation and Software Technology Amsterdam : Elsevier v. 105, p. 226-251, Jan. 2019Amsterdam 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2931703 )(Acessar) |