Menu

Filtros : "Concurrent programs" Limpar

Filtros

Refine with date range

  • 1

1 - 7 (7 records)

  • 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

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 01 jan. 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 jan. 01 ] 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 jan. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-19122023-151021/

  • Tese (Doutorado)

    Otimização bioinspirada para apoio à geração de dados de teste para software concorrente (2021)

    Vilela, Ricardo Ferreira; Souza, Simone do Rocio Senger de (Orientador)

    Unidade: ICMC

    Subjects: PROGRAMAÇÃO CONCORRENTE, ALGORITMOS GENÉTICOS, ALGORITMOS GENÉTICOS, LÓGICA FUZZY, COMPUTAÇÃO BIOINSPIRADA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VILELA, Ricardo Ferreira. Otimização bioinspirada para apoio à geração de dados de teste para software concorrente. 2021. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-17082021-134353/. Acesso em: 01 jan. 2026.

    • APA

      Vilela, R. F. (2021). Otimização bioinspirada para apoio à geração de dados de teste para software concorrente (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-17082021-134353/

    • NLM

      Vilela RF. Otimização bioinspirada para apoio à geração de dados de teste para software concorrente [Internet]. 2021 ;[citado 2026 jan. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-17082021-134353/

    • Vancouver

      Vilela RF. Otimização bioinspirada para apoio à geração de dados de teste para software concorrente [Internet]. 2021 ;[citado 2026 jan. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-17082021-134353/

  • 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

    Acesso à fonteHow to cite
    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: 01 jan. 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 jan. 01 ] 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 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21082019-154821/

  • 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

    Subjects: SOFTWARES, PROGRAMAÇÃO CONCORRENTE, SISTEMAS DISTRIBUÍDOS

    Acesso à fonteHow to cite
    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: 01 jan. 2026.

    • 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 2026 jan. 01 ] 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 2026 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14102016-162422/

  • 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)

    Acesso à fonteHow to cite
    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: 01 jan. 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 jan. 01 ] 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 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03082015-110554/

  • Dissertação (Mestrado)

    Geração automática de dados de teste para programas concorrrentes com meta-heurística (2014)

    Silva, José Dario Pintor da; Souza, Simone do Rocio Senger de (Orientador)

    Unidade: ICMC

    Subjects: PROGRAMAÇÃO CONCORRENTE, SOFTWARES (TESTES;QUALIDADE), HEURÍSTICA, ALGORITMOS GENÉTICOS, ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, José Dario Pintor da. Geração automática de dados de teste para programas concorrrentes com meta-heurística. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/. Acesso em: 01 jan. 2026.

    • APA

      Silva, J. D. P. da. (2014). Geração automática de dados de teste para programas concorrrentes com meta-heurística (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/

    • NLM

      Silva JDP da. Geração automática de dados de teste para programas concorrrentes com meta-heurística [Internet]. 2014 ;[citado 2026 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/

    • Vancouver

      Silva JDP da. Geração automática de dados de teste para programas concorrrentes com meta-heurística [Internet]. 2014 ;[citado 2026 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13022015-143049/

  • Dissertação (Mestrado)

    Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes (2011)

    Brito, Maria Adelina Silva; Souza, Simone do Rocio Senger de (Orientador)

    Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, PROGRAMAÇÃO CONCORRENTE, TESTE E AVALIAÇÃO DE SOFTWARE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BRITO, Maria Adelina Silva. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13012012-094510/. Acesso em: 01 jan. 2026.

    • APA

      Brito, M. A. S. (2011). Avaliação da efetividade dos critérios de teste estruturais no contexto de 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-13012012-094510/

    • NLM

      Brito MAS. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes [Internet]. 2011 ;[citado 2026 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13012012-094510/

    • Vancouver

      Brito MAS. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes [Internet]. 2011 ;[citado 2026 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13012012-094510/
  • 1

1 - 7 (7 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026