ReP USP - Resultado da busca

Dissertação (Mestrado)
Teste de pares de arestas: automatização e experimentação (2023)
Silva, Matheus Soares; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Matheus Soares. Teste de pares de arestas: automatização e experimentação. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/. Acesso em: 13 fev. 2026.
APA
Silva, M. S. (2023). Teste de pares de arestas: automatização e experimentação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/
NLM
Silva MS. Teste de pares de arestas: automatização e experimentação [Internet]. 2023 ;[citado 2026 fev. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/
Vancouver
Silva MS. Teste de pares de arestas: automatização e experimentação [Internet]. 2023 ;[citado 2026 fev. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/
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
Subjects: 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: 13 fev. 2026.
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 2026 fev. 13 ] 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 2026 fev. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122023-151021/
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
Subjects: 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: 13 fev. 2026.
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 2026 fev. 13 ] 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 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
Tese (Doutorado)
Teste estrutural para aplicações concorrentes em Erlang (2017)
Oliveira, Alexandre Ponce de; Souza, Paulo Sérgio Lopes de (Orientador)
Unidade: ICMC
Subjects: 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: 13 fev. 2026.
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 2026 fev. 13 ] 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 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12092017-161142/
Dissertação (Mestrado)
Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela (2015)
Batista, Raphael Negrisoli; Souza, Paulo Sérgio Lopes de (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO CONCORRENTE, PROGRAMAÇÃO PARALELA, SISTEMAS DISTRIBUÍDOS, CIÊNCIA DA COMPUTAÇÃO (ESTUDO E ENSINO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BATISTA, Raphael Negrisoli. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/. Acesso em: 13 fev. 2026.
APA
Batista, R. N. (2015). Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/
NLM
Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela [Internet]. 2015 ;[citado 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/
Vancouver
Batista RN. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela [Internet]. 2015 ;[citado 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/
Dissertação (Mestrado)
Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação (2013)
Carvalho, Luciano Augusto Fernandes; Masiero, Paulo Cesar (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, SOFTWARES (TESTES), PROJETO DE SOFTWARE ORIENTADO A ASPECTO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Luciano Augusto Fernandes. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/. Acesso em: 13 fev. 2026.
APA
Carvalho, L. A. F. (2013). Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/
NLM
Carvalho LAF. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação [Internet]. 2013 ;[citado 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/
Vancouver
Carvalho LAF. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação [Internet]. 2013 ;[citado 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/
Tese (Doutorado)
Uso da técnica de teste estrutural para o teste e monitoração de serviços (2012)
Eler, Marcelo Medeiros ; Masiero, Paulo Cesar (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SOFTWARES (TESTES;ESTRUTURA)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ELER, Marcelo Medeiros. Uso da técnica de teste estrutural para o teste e monitoração de serviços. 2012. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04092012-141341/. Acesso em: 13 fev. 2026.
APA
Eler, M. M. (2012). Uso da técnica de teste estrutural para o teste e monitoração de serviços (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04092012-141341/
NLM
Eler MM. Uso da técnica de teste estrutural para o teste e monitoração de serviços [Internet]. 2012 ;[citado 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04092012-141341/
Vancouver
Eler MM. Uso da técnica de teste estrutural para o teste e monitoração de serviços [Internet]. 2012 ;[citado 2026 fev. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04092012-141341/

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects