Filtros : "Model based testing" Limpar

Filtros



Refine with date range


  • Source: Journal of Systems and Software. Unidade: ICMC

    Subjects: ENGENHARIA REVERSA DE SOFTWARE, INFERÊNCIA

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GROZ, Roland et al. hW-inference: a heuristic approach to retrieve models through black box testing. Journal of Systems and Software, v. 159, p. 1-19, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2019.110426. Acesso em: 10 jan. 2026.
    • APA

      Groz, R., Bremond, N., Simão, A. da S., & Oriat, C. (2020). hW-inference: a heuristic approach to retrieve models through black box testing. Journal of Systems and Software, 159, 1-19. doi:10.1016/j.jss.2019.110426
    • NLM

      Groz R, Bremond N, Simão A da S, Oriat C. hW-inference: a heuristic approach to retrieve models through black box testing [Internet]. Journal of Systems and Software. 2020 ; 159 1-19.[citado 2026 jan. 10 ] Available from: https://doi.org/10.1016/j.jss.2019.110426
    • Vancouver

      Groz R, Bremond N, Simão A da S, Oriat C. hW-inference: a heuristic approach to retrieve models through black box testing [Internet]. Journal of Systems and Software. 2020 ; 159 1-19.[citado 2026 jan. 10 ] Available from: https://doi.org/10.1016/j.jss.2019.110426
  • Unidade: ICMC

    Subjects: SOFTWARES, SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE

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

      DAMASCENO, Carlos Diego Nascimento. Evaluating finite state machine based testing methods on RBAC systems. 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-11112016-101158/. Acesso em: 10 jan. 2026.
    • APA

      Damasceno, C. D. N. (2016). Evaluating finite state machine based testing methods on RBAC systems (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/
    • NLM

      Damasceno CDN. Evaluating finite state machine based testing methods on RBAC systems [Internet]. 2016 ;[citado 2026 jan. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/
    • Vancouver

      Damasceno CDN. Evaluating finite state machine based testing methods on RBAC systems [Internet]. 2016 ;[citado 2026 jan. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/
  • Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE (DESENVOLVIMENTO;MODELOS), GRAFOS ALEATÓRIOS (SEQUÊNCIA), WORLD WIDE WEB (SERVIÇOS), LINGUAGEM DE PROGRAMAÇÃO, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES

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

      ENDO, André Takeshi. Model based testing of service oriented applications. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/. Acesso em: 10 jan. 2026.
    • APA

      Endo, A. T. (2013). Model based testing of service oriented applications (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/
    • NLM

      Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2026 jan. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/
    • Vancouver

      Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2026 jan. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/
  • Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO, TESTE E AVALIAÇÃO DE SOFTWARE, SISTEMAS EMBUTIDOS

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

      PINHEIRO, Arineiza Cristina. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/. Acesso em: 10 jan. 2026.
    • APA

      Pinheiro, A. C. (2012). Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
    • NLM

      Pinheiro AC. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2026 jan. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
    • Vancouver

      Pinheiro AC. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2026 jan. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/

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