ReP USP - Resultado da busca

Tese (Doutorado)
Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de software (2023)
Choma Neto, João ; Lopes, Thelma Elita Colanzi (coorient); Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: SOFTWARES, PROGRAMAÇÃO CONCORRENTE, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHOMA NETO, João. Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de software. 2023. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122023-151021/. Acesso em: 09 nov. 2025.
APA
Choma Neto, J. (2023). Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de software (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122023-151021/
NLM
Choma Neto J. Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de software [Internet]. 2023 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122023-151021/
Vancouver
Choma Neto J. Uma abordagem para apoiar a identificação de não executabilidade no teste estrutural de software [Internet]. 2023 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122023-151021/
Dissertação (Mestrado)
Study and definition of project attributes for selection of testing techniques for concurrent software (2020)
Santos, Italo de Oliveira; Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: SOFTWARES, PROGRAMAÇÃO CONCORRENTE, PROJETO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Italo de Oliveira. Study and definition of project attributes for selection of testing techniques for concurrent software. 2020. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06082020-110230/. Acesso em: 09 nov. 2025.
APA
Santos, I. de O. (2020). Study and definition of project attributes for selection of testing techniques for concurrent software (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06082020-110230/
NLM
Santos I de O. Study and definition of project attributes for selection of testing techniques for concurrent software [Internet]. 2020 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06082020-110230/
Vancouver
Santos I de O. Study and definition of project attributes for selection of testing techniques for concurrent software [Internet]. 2020 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06082020-110230/
Dissertação (Mestrado)
Structural testing criteria for concurrent programs considering loop execution (2019)
Diaz, Silvia Margarita Diaz; Souza, Paulo Sérgio Lopes de (Orientador)
Unidade: ICMC
Assuntos: PROGRAMAÇÃO CONCORRENTE, PROGRAMAÇÃO PARALELA, SOFTWARES, TESTES DE HIPÓTESES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAZ, Silvia Margarita Diaz. Structural testing criteria for concurrent programs considering loop execution. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/. Acesso em: 09 nov. 2025.
APA
Diaz, S. M. D. (2019). Structural testing criteria for concurrent programs considering loop execution (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
NLM
Diaz SMD. Structural testing criteria for concurrent programs considering loop execution [Internet]. 2019 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
Vancouver
Diaz SMD. Structural testing criteria for concurrent programs considering loop execution [Internet]. 2019 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
Tese (Doutorado)
Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente (2018)
Melo, Silvana Morita; Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: SOFTWARES, ENGENHARIA DE SOFTWARE, PROGRAMAÇÃO CONCORRENTE, FRAMEWORKS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Silvana Morita. Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-085404/. Acesso em: 09 nov. 2025.
APA
Melo, S. M. (2018). Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-085404/
NLM
Melo SM. Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente [Internet]. 2018 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-085404/
Vancouver
Melo SM. Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente [Internet]. 2018 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-085404/
Tese (Doutorado)
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs (2018)
Silva, Rodolfo Adamshuk; Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: PROGRAMAÇÃO CONCORRENTE, SOFTWARES, ALGORITMOS GENÉTICOS, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Rodolfo Adamshuk. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/. Acesso em: 09 nov. 2025.
APA
Silva, R. A. (2018). Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/
NLM
Silva RA. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs [Internet]. 2018 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/
Vancouver
Silva RA. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs [Internet]. 2018 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/
Tese (Doutorado)
Teste estrutural para aplicações concorrentes em Erlang (2017)
Oliveira, Alexandre Ponce de; Souza, Paulo Sérgio Lopes de (Orientador)
Unidade: ICMC
Assuntos: SOFTWARES, PROGRAMAÇÃO CONCORRENTE, LINGUAGEM DE PROGRAMAÇÃO, SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO FUNCIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Ponce de. Teste estrutural para aplicações concorrentes em Erlang. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092017-161142/. Acesso em: 09 nov. 2025.
APA
Oliveira, A. P. de. (2017). Teste estrutural para aplicações concorrentes em Erlang (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092017-161142/
NLM
Oliveira AP de. Teste estrutural para aplicações concorrentes em Erlang [Internet]. 2017 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092017-161142/
Vancouver
Oliveira AP de. Teste estrutural para aplicações concorrentes em Erlang [Internet]. 2017 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092017-161142/
Trabalho de evento-resumo
How to test your concurrent software: an approach for the selection of testing techniques (2017)
Melo, Silvana Morita; Souza, Simone do Rocio Senger de ; Souza, Paulo Sérgio Lopes de ; Carver, Jeffrey C.
Fonte: Proceedings. Nome do evento: Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SOFTWARES, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Silvana Morita et al. How to test your concurrent software: an approach for the selection of testing techniques. 2017, Anais.. New York: ACM, 2017. Disponível em: https://doi.org/10.1145/3141865.3142468. Acesso em: 09 nov. 2025.
APA
Melo, S. M., Souza, S. do R. S. de, Souza, P. S. L. de, & Carver, J. C. (2017). How to test your concurrent software: an approach for the selection of testing techniques. In Proceedings. New York: ACM. doi:10.1145/3141865.3142468
NLM
Melo SM, Souza S do RS de, Souza PSL de, Carver JC. How to test your concurrent software: an approach for the selection of testing techniques [Internet]. Proceedings. 2017 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1145/3141865.3142468
Vancouver
Melo SM, Souza S do RS de, Souza PSL de, Carver JC. How to test your concurrent software: an approach for the selection of testing techniques [Internet]. Proceedings. 2017 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1145/3141865.3142468
Tese (Doutorado)
Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis (2017)
Brito, Maria Adelina Silva; Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: ROBÓTICA, ROBÔS, QUALIDADE DE SOFTWARE, SOFTWARES, PROGRAMAÇÃO CONCORRENTE, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRITO, Maria Adelina Silva. Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01082017-155344/. Acesso em: 09 nov. 2025.
APA
Brito, M. A. S. (2017). Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01082017-155344/
NLM
Brito MAS. Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis [Internet]. 2017 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01082017-155344/
Vancouver
Brito MAS. Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis [Internet]. 2017 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01082017-155344/
Dissertação (Mestrado)
Uma abordagem de predição de falhas de software no contexto de desenvolvimento ágil (2016)
Verhaeg, Ricardo Fontão; Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: SOFTWARES, QUALIDADE DE SOFTWARE, PROGRAMAÇÃO CONCORRENTE, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VERHAEG, Ricardo Fontão. Uma abordagem de predição de falhas de software no contexto de desenvolvimento ágil. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122016-110134/. Acesso em: 09 nov. 2025.
APA
Verhaeg, R. F. (2016). Uma abordagem de predição de falhas de software no contexto de desenvolvimento ágil (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122016-110134/
NLM
Verhaeg RF. Uma abordagem de predição de falhas de software no contexto de desenvolvimento ágil [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122016-110134/
Vancouver
Verhaeg RF. Uma abordagem de predição de falhas de software no contexto de desenvolvimento ágil [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122016-110134/
Dissertação (Mestrado)
Estudo sobre adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis (2016)
Santos, Marcos Pereira dos; Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: PROGRAMAÇÃO CONCORRENTE, ROBÓTICA, ROBÔS, SOFTWARES, SISTEMAS EMBUTIDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Marcos Pereira dos. Estudo sobre adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09122016-185534/. Acesso em: 09 nov. 2025.
APA
Santos, M. P. dos. (2016). Estudo sobre adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09122016-185534/
NLM
Santos MP dos. Estudo sobre adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09122016-185534/
Vancouver
Santos MP dos. Estudo sobre adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09122016-185534/
Dissertação (Mestrado)
Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes (2016)
Vilela, Ricardo Ferreira; Souza, Simone do Rocio Senger de (Orientador)
Unidade: ICMC
Assuntos: PROGRAMAÇÃO CONCORRENTE, SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILELA, Ricardo Ferreira. Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102016-111206/. Acesso em: 09 nov. 2025.
APA
Vilela, R. F. (2016). Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102016-111206/
NLM
Vilela RF. Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102016-111206/
Vancouver
Vilela RF. Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102016-111206/
Dissertação (Mestrado)
Teste estrutural de programas concorrentes como uma composição de serviços na Web (2016)
Prado, Rafael Regis do; Souza, Paulo Sérgio Lopes de (Orientador)
Unidade: ICMC
Assuntos: SOFTWARES, PROGRAMAÇÃO CONCORRENTE, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRADO, Rafael Regis do. Teste estrutural de programas concorrentes como uma composição de serviços na Web. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102016-162422/. Acesso em: 09 nov. 2025.
APA
Prado, R. R. do. (2016). Teste estrutural de programas concorrentes como uma composição de serviços na Web (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102016-162422/
NLM
Prado RR do. Teste estrutural de programas concorrentes como uma composição de serviços na Web [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102016-162422/
Vancouver
Prado RR do. Teste estrutural de programas concorrentes como uma composição de serviços na Web [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102016-162422/

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos