Menu

Filtros : "Alberto, Alex" Limpar

Filtros

Limitar por data

  • 1

1 - 2 (2 registros)

  • Artigo de periodico

    Formal mutation testing for Circus (2017)

    Alberto, Alex; Cavalcanti, Ana; Gaudel, Marie-Claude; Simão, Adenilso da Silva

    Fonte: Information and Software Technology. Unidade: ICMC

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

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

    • ABNT

      ALBERTO, Alex et al. Formal mutation testing for Circus. Information and Software Technology, v. 81, n. Ja 2017, p. 131-153, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2016.04.003. Acesso em: 02 dez. 2025.

    • APA

      Alberto, A., Cavalcanti, A., Gaudel, M. -C., & Simão, A. da S. (2017). Formal mutation testing for Circus. Information and Software Technology, 81( Ja 2017), 131-153. doi:10.1016/j.infsof.2016.04.003

    • NLM

      Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2025 dez. 02 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003

    • Vancouver

      Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2025 dez. 02 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003

  • Trabalho de evento

    Minimization of incompletely specified finite state machines based on distinction graphs (2009)

    Alberto, Alex; Simão, Adenilso da Silva

    Fonte: Proceedings. Nome do evento: Latin American Test Workshop - LATW. Unidade: ICMC

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

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

    • ABNT

      ALBERTO, Alex e SIMÃO, Adenilso da Silva. Minimization of incompletely specified finite state machines based on distinction graphs. 2009, Anais.. Los Alamitos: IEEE, 2009. Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009. Acesso em: 02 dez. 2025.

    • APA

      Alberto, A., & Simão, A. da S. (2009). Minimization of incompletely specified finite state machines based on distinction graphs. In Proceedings. Los Alamitos: IEEE. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009

    • NLM

      Alberto A, Simão A da S. Minimization of incompletely specified finite state machines based on distinction graphs [Internet]. Proceedings. 2009 ;[citado 2025 dez. 02 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009

    • Vancouver

      Alberto A, Simão A da S. Minimization of incompletely specified finite state machines based on distinction graphs [Internet]. Proceedings. 2009 ;[citado 2025 dez. 02 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009
  • 1

1 - 2 (2 registros)

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025