Filtros : "Model-based testing" Limpar

Filtros



Refine with date range


  • Source: Software Quality Journal. Unidade: ICMC

    Subjects: AUTOMAÇÃO INDUSTRIAL, TESTE E AVALIAÇÃO DE SOFTWARE, ESTUDO DE CASO

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

      ROCHA, Mauricio Rego Mota da e SIMÃO, Adenilso da Silva e SOUSA, Thiago. Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, v. 29, p. 597-627, 2021Tradução . . Disponível em: https://doi.org/10.1007/s11219-020-09531-0. Acesso em: 20 jan. 2026.
    • APA

      Rocha, M. R. M. da, Simão, A. da S., & Sousa, T. (2021). Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, 29, 597-627. doi:10.1007/s11219-020-09531-0
    • NLM

      Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1007/s11219-020-09531-0
    • Vancouver

      Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1007/s11219-020-09531-0
  • Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE

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

      ROCHA, Mauricio Rego Mota da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/. Acesso em: 20 jan. 2026.
    • APA

      Rocha, M. R. M. da. (2020). Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
    • NLM

      Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2026 jan. 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
    • Vancouver

      Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2026 jan. 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
  • Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO, GESTÃO DE PROJETOS

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

      FRAGAL, Vanderson Hafemann. Automatic generation of configurable test-suites for software product lines. 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-10012019-085746/. Acesso em: 20 jan. 2026.
    • APA

      Fragal, V. H. (2017). Automatic generation of configurable test-suites for software product lines (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/
    • NLM

      Fragal VH. Automatic generation of configurable test-suites for software product lines [Internet]. 2017 ;[citado 2026 jan. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/
    • Vancouver

      Fragal VH. Automatic generation of configurable test-suites for software product lines [Internet]. 2017 ;[citado 2026 jan. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/
  • Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO

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

      PAIVA, Sofia Larissa da Costa. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída. 2016. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/. Acesso em: 20 jan. 2026.
    • APA

      Paiva, S. L. da C. (2016). Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
    • NLM

      Paiva SL da C. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída [Internet]. 2016 ;[citado 2026 jan. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
    • Vancouver

      Paiva SL da C. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída [Internet]. 2016 ;[citado 2026 jan. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
  • Unidade: ICMC

    Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ARQUITETURA ORIENTADA A SERVIÇOS, UML, ENGENHARIA DE SOFTWARE

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

      PINHEIRO, Pedro Victor Pontes. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML. 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-14072014-165410/. Acesso em: 20 jan. 2026.
    • APA

      Pinheiro, P. V. P. (2014). Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
    • NLM

      Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2026 jan. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
    • Vancouver

      Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2026 jan. 20 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/

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