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: 23 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. 23 ] 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. 23 ] 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: 23 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. 23 ] 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. 23 ] 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: 23 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. 23 ] 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. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/
Trabalho de evento
Evaluating data-flow coverage in spectrum-based fault localization (2019)
Ribeiro, Henrique L; Roberto de Araujo, P. A; Chaim, Marcos Lordello ; Souza, Higor Amario de; Kon, Fabio
Source: Proceedings. Conference titles: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM. Unidades: IME, EACH
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Henrique L et al. Evaluating data-flow coverage in spectrum-based fault localization. 2019, Anais.. Piscataway: IEEE, 2019. Disponível em: https://doi.org/10.1109/ESEM.2019.8870182. Acesso em: 23 fev. 2026.
APA
Ribeiro, H. L., Roberto de Araujo, P. A., Chaim, M. L., Souza, H. A. de, & Kon, F. (2019). Evaluating data-flow coverage in spectrum-based fault localization. In Proceedings. Piscataway: IEEE. doi:10.1109/ESEM.2019.8870182
NLM
Ribeiro HL, Roberto de Araujo PA, Chaim ML, Souza HA de, Kon F. Evaluating data-flow coverage in spectrum-based fault localization [Internet]. Proceedings. 2019 ;[citado 2026 fev. 23 ] Available from: https://doi.org/10.1109/ESEM.2019.8870182
Vancouver
Ribeiro HL, Roberto de Araujo PA, Chaim ML, Souza HA de, Kon F. Evaluating data-flow coverage in spectrum-based fault localization [Internet]. Proceedings. 2019 ;[citado 2026 fev. 23 ] Available from: https://doi.org/10.1109/ESEM.2019.8870182
Artigo de periodico
An experimental comparison of edge, edge-pair, and prime path criteria (2018)
Durelli, Vinícius H. S; Delamaro, Márcio Eduardo ; Offutt, Jeff
Source: Science of Computer Programming. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DURELLI, Vinícius H. S e DELAMARO, Márcio Eduardo e OFFUTT, Jeff. An experimental comparison of edge, edge-pair, and prime path criteria. Science of Computer Programming, v. 152, n. Ja 2018, p. 99-115, 2018Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2017.10.003. Acesso em: 23 fev. 2026.
APA
Durelli, V. H. S., Delamaro, M. E., & Offutt, J. (2018). An experimental comparison of edge, edge-pair, and prime path criteria. Science of Computer Programming, 152( Ja 2018), 99-115. doi:10.1016/j.scico.2017.10.003
NLM
Durelli VHS, Delamaro ME, Offutt J. An experimental comparison of edge, edge-pair, and prime path criteria [Internet]. Science of Computer Programming. 2018 ; 152( Ja 2018): 99-115.[citado 2026 fev. 23 ] Available from: https://doi.org/10.1016/j.scico.2017.10.003
Vancouver
Durelli VHS, Delamaro ME, Offutt J. An experimental comparison of edge, edge-pair, and prime path criteria [Internet]. Science of Computer Programming. 2018 ; 152( Ja 2018): 99-115.[citado 2026 fev. 23 ] Available from: https://doi.org/10.1016/j.scico.2017.10.003
Artigo de periodico
Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation (2018)
Melo, Silvana Morita; Souza, Simone do Rocio Senger de ; Sarmanho, Felipe Santos; Souza, Paulo Sérgio Lopes de
Source: Software Quality Journal. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, PROGRAMAÇÃO CONCORRENTE, SOFTWARES (TESTES)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Silvana Morita et al. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. Software Quality Journal, 2018Tradução . . Disponível em: https://doi.org/10.1007/s11219-017-9376-4. Acesso em: 23 fev. 2026.
APA
Melo, S. M., Souza, S. do R. S. de, Sarmanho, F. S., & Souza, P. S. L. de. (2018). Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. Software Quality Journal. doi:10.1007/s11219-017-9376-4
NLM
Melo SM, Souza S do RS de, Sarmanho FS, Souza PSL de. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation [Internet]. Software Quality Journal. 2018 ;[citado 2026 fev. 23 ] Available from: https://doi.org/10.1007/s11219-017-9376-4
Vancouver
Melo SM, Souza S do RS de, Sarmanho FS, Souza PSL de. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation [Internet]. Software Quality Journal. 2018 ;[citado 2026 fev. 23 ] Available from: https://doi.org/10.1007/s11219-017-9376-4
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: 23 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. 23 ] 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. 23 ] 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: 23 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. 23 ] 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. 23 ] 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: 23 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. 23 ] 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. 23 ] 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: 23 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. 23 ] 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. 23 ] 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

Funding Agencies

Indexado em