Filtros : "Simão, Adenilso da Silva" "2016" Removido: "Lima, Telma Woerle de" Limpar

Filtros



Refine with date range


  • 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: 30 set. 2024.
    • 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 2024 set. 30 ] 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 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
  • Source: Proceedings. Conference titles: Brazilian Symposium on Software Engineering - SBES 2016. 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

      DAMASCENO, Carlos Diego Nascimento e MASIERO, Paulo Cesar e SIMÃO, Adenilso da Silva. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. 2016, Anais.. New York, NY: ACM, 2016. Disponível em: https://doi.org/10.1145/2973839.2973849. Acesso em: 30 set. 2024.
    • APA

      Damasceno, C. D. N., Masiero, P. C., & Simão, A. da S. (2016). Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. In Proceedings. New York, NY: ACM. doi:10.1145/2973839.2973849
    • NLM

      Damasceno CDN, Masiero PC, Simão A da S. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems [Internet]. Proceedings. 2016 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1145/2973839.2973849
    • Vancouver

      Damasceno CDN, Masiero PC, Simão A da S. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems [Internet]. Proceedings. 2016 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1145/2973839.2973849
  • Source: Formal Aspects of Computing. Unidade: ICMC

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

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

      PAIVA, Sofia Costa e SIMÃO, Adenilso da Silva. Generation of complete test suites from mealy input/output transition systems. Formal Aspects of Computing, v. 28, n. 1, p. 65-78, 2016Tradução . . Disponível em: https://doi.org/10.1007/s00165-015-0350-2. Acesso em: 30 set. 2024.
    • APA

      Paiva, S. C., & Simão, A. da S. (2016). Generation of complete test suites from mealy input/output transition systems. Formal Aspects of Computing, 28( 1), 65-78. doi:10.1007/s00165-015-0350-2
    • NLM

      Paiva SC, Simão A da S. Generation of complete test suites from mealy input/output transition systems [Internet]. Formal Aspects of Computing. 2016 ; 28( 1): 65-78.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
    • Vancouver

      Paiva SC, Simão A da S. Generation of complete test suites from mealy input/output transition systems [Internet]. Formal Aspects of Computing. 2016 ; 28( 1): 65-78.[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
  • Unidade: ICMC

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

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

      GEROMINI, Marcos Fernando. Avaliação de atributos de testabilidade para sistemas de suporte à decisão. 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-07102016-163820/. Acesso em: 30 set. 2024.
    • APA

      Geromini, M. F. (2016). Avaliação de atributos de testabilidade para sistemas de suporte à decisão (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
    • NLM

      Geromini MF. Avaliação de atributos de testabilidade para sistemas de suporte à decisão [Internet]. 2016 ;[citado 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
    • Vancouver

      Geromini MF. Avaliação de atributos de testabilidade para sistemas de suporte à decisão [Internet]. 2016 ;[citado 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
  • Source: Proceedings. Conference titles: International Workshop on Automating Test Case Design, Selection, and Evaluation. 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

      PAIVA, Sofia Costa et al. Complete IOCO test cases: a case study. 2016, Anais.. New York, NY: ACM, 2016. Disponível em: https://doi.org/10.1145/2994291.2994297. Acesso em: 30 set. 2024.
    • APA

      Paiva, S. C., Simão, A. da S., Varshosaz, M., & Mousavi, M. R. (2016). Complete IOCO test cases: a case study. In Proceedings. New York, NY: ACM. doi:10.1145/2994291.2994297
    • NLM

      Paiva SC, Simão A da S, Varshosaz M, Mousavi MR. Complete IOCO test cases: a case study [Internet]. Proceedings. 2016 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1145/2994291.2994297
    • Vancouver

      Paiva SC, Simão A da S, Varshosaz M, Mousavi MR. Complete IOCO test cases: a case study [Internet]. Proceedings. 2016 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1145/2994291.2994297
  • Source: The Computer Journal: Section A: Computer Science Theory, Methods and Tools. Unidade: ICMC

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

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

      CUTIGI, Jorge Francisco e SIMÃO, Adenilso da Silva e SOUZA, Simone do Rocio Senger de. Reducing FSM-based test suites with guaranteed fault coverage. The Computer Journal: Section A: Computer Science Theory, Methods and Tools, v. 59, n. 8, p. 1129-1143, 2016Tradução . . Disponível em: https://doi.org/10.1093/comjnl/bxv122. Acesso em: 30 set. 2024.
    • APA

      Cutigi, J. F., Simão, A. da S., & Souza, S. do R. S. de. (2016). Reducing FSM-based test suites with guaranteed fault coverage. The Computer Journal: Section A: Computer Science Theory, Methods and Tools, 59( 8), 1129-1143. doi:10.1093/comjnl/bxv122
    • NLM

      Cutigi JF, Simão A da S, Souza S do RS de. Reducing FSM-based test suites with guaranteed fault coverage [Internet]. The Computer Journal: Section A: Computer Science Theory, Methods and Tools. 2016 ; 59( 8): 1129-1143.[citado 2024 set. 30 ] Available from: https://doi.org/10.1093/comjnl/bxv122
    • Vancouver

      Cutigi JF, Simão A da S, Souza S do RS de. Reducing FSM-based test suites with guaranteed fault coverage [Internet]. The Computer Journal: Section A: Computer Science Theory, Methods and Tools. 2016 ; 59( 8): 1129-1143.[citado 2024 set. 30 ] Available from: https://doi.org/10.1093/comjnl/bxv122
  • Source: CLEI Electronic Journal. Unidade: ICMC

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

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

      PORTO, Faimison e SIMÃO, Adenilso da Silva. Feature subset selection and instance filtering for cross-project defect prediction: classification and ranking. CLEI Electronic Journal, v. 19, n. 3, p. 1-17, 2016Tradução . . Disponível em: https://doi.org/10.19153/cleiej.19.3.4. Acesso em: 30 set. 2024.
    • APA

      Porto, F., & Simão, A. da S. (2016). Feature subset selection and instance filtering for cross-project defect prediction: classification and ranking. CLEI Electronic Journal, 19( 3), 1-17. doi:10.19153/cleiej.19.3.4
    • NLM

      Porto F, Simão A da S. Feature subset selection and instance filtering for cross-project defect prediction: classification and ranking [Internet]. CLEI Electronic Journal. 2016 ; 19( 3): 1-17.[citado 2024 set. 30 ] Available from: https://doi.org/10.19153/cleiej.19.3.4
    • Vancouver

      Porto F, Simão A da S. Feature subset selection and instance filtering for cross-project defect prediction: classification and ranking [Internet]. CLEI Electronic Journal. 2016 ; 19( 3): 1-17.[citado 2024 set. 30 ] Available from: https://doi.org/10.19153/cleiej.19.3.4
  • 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: 30 set. 2024.
    • 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 2024 set. 30 ] 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 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/

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