Menu

Filtros : "Model inference" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Dissertação (Mestrado)

    Improving model learning by inferring separating sequences from traces (2023)

    Braz, Rafael dos Santos; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE

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

    • ABNT

      BRAZ, Rafael dos Santos. Improving model learning by inferring separating sequences from traces. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/. Acesso em: 03 jan. 2026.

    • APA

      Braz, R. dos S. (2023). Improving model learning by inferring separating sequences from traces (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/

    • NLM

      Braz R dos S. Improving model learning by inferring separating sequences from traces [Internet]. 2023 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/

    • Vancouver

      Braz R dos S. Improving model learning by inferring separating sequences from traces [Internet]. 2023 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/

  • Artigo de periodico

    hW-inference: a heuristic approach to retrieve models through black box testing (2020)

    Groz, Roland ; Bremond, Nicolas ; Simão, Adenilso da Silva ; Oriat, Catherine

    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: 03 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. 03 ] 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. 03 ] Available from: https://doi.org/10.1016/j.jss.2019.110426

  • Trabalho de evento-anais periodico

    Inferring finite state machines without reset using state identification sequences (2015)

    Groz, Roland; Simão, Adenilso da Silva ; Petrenko, Alexandre; Oriat, Catherine

    Source: Lecture Notes in Computer Science. Conference titles: IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS. Unidade: ICMC

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

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

    • ABNT

      GROZ, Roland et al. Inferring finite state machines without reset using state identification sequences. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-25945-1_10. Acesso em: 03 jan. 2026. , 2015

    • APA

      Groz, R., Simão, A. da S., Petrenko, A., & Oriat, C. (2015). Inferring finite state machines without reset using state identification sequences. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-25945-1_10

    • NLM

      Groz R, Simão A da S, Petrenko A, Oriat C. Inferring finite state machines without reset using state identification sequences [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 161-177.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_10

    • Vancouver

      Groz R, Simão A da S, Petrenko A, Oriat C. Inferring finite state machines without reset using state identification sequences [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 161-177.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_10
  • 1

1 - 3 (3 records)

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