Filtros : "ICMC" "Simão, Adenilso da Silva" Limpar

Filtros



Refine with date range


  • Unidade: ICMC

    Subjects: QUALIDADE DE SOFTWARE, ENGENHARIA DE SOFTWARE, SOFTWARES, APRENDIZADO COMPUTACIONAL, 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

      PORTO, Faimison Rodrigues. Cross-project defect prediction with meta-Learning. 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-21032018-163840/. Acesso em: 29 mar. 2024.
    • APA

      Porto, F. R. (2017). Cross-project defect prediction with meta-Learning (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/
    • NLM

      Porto FR. Cross-project defect prediction with meta-Learning [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/
    • Vancouver

      Porto FR. Cross-project defect prediction with meta-Learning [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/
  • Source: Lecture Notes in Computer Science (LNCS). Conference titles: International Conference Formal Aspects of Component Software - FACS. Unidade: ICMC

    Subjects: VALIDAÇÃO DE MODELOS, SOFTWARES, ENGENHARIA DE SOFTWARE

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

      FRAGAL, Vanderson Hafemann e SIMÃO, Adenilso da Silva e MOUSAVI, Mohammad Reza. Validated test models for software product lines: featured finite state machines. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-57666-4_13. Acesso em: 29 mar. 2024. , 2017
    • APA

      Fragal, V. H., Simão, A. da S., & Mousavi, M. R. (2017). Validated test models for software product lines: featured finite state machines. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-57666-4_13
    • NLM

      Fragal VH, Simão A da S, Mousavi MR. Validated test models for software product lines: featured finite state machines [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 210-227.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
    • Vancouver

      Fragal VH, Simão A da S, Mousavi MR. Validated test models for software product lines: featured finite state machines [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 210-227.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
  • Source: IEEE Software. Conference titles: IEEE International Conference on Cloud Engineering - IC2E. Unidade: ICMC

    Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE, COMPUTAÇÃO EM NUVEM

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

      OLIVEIRA, Ricardo Ramos de e MARTINS, Rafael Messias e SIMÃO, Adenilso da Silva. Impact of the vendor lock-in problem on testing as a service (TaaS). 2017, Anais.. Piscataway, NJ: IEEE, 2017. Disponível em: https://doi.org/10.1109/IC2E.2017.30. Acesso em: 29 mar. 2024.
    • APA

      Oliveira, R. R. de, Martins, R. M., & Simão, A. da S. (2017). Impact of the vendor lock-in problem on testing as a service (TaaS). In IEEE Software. Piscataway, NJ: IEEE. doi:10.1109/IC2E.2017.30
    • NLM

      Oliveira RR de, Martins RM, Simão A da S. Impact of the vendor lock-in problem on testing as a service (TaaS) [Internet]. IEEE Software. 2017 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1109/IC2E.2017.30
    • Vancouver

      Oliveira RR de, Martins RM, Simão A da S. Impact of the vendor lock-in problem on testing as a service (TaaS) [Internet]. IEEE Software. 2017 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1109/IC2E.2017.30
  • Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-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 e SIMÃO, Adenilso da Silva e ORIAT, Catherine. Adaptive localizer based on splitting trees. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_21. Acesso em: 29 mar. 2024. , 2017
    • APA

      Groz, R., Simão, A. da S., & Oriat, C. (2017). Adaptive localizer based on splitting trees. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_21
    • NLM

      Groz R, Simão A da S, Oriat C. Adaptive localizer based on splitting trees [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 326-332.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21
    • Vancouver

      Groz R, Simão A da S, Oriat C. Adaptive localizer based on splitting trees [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 326-332.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21
  • Unidade: ICMC

    Subjects: COMPUTAÇÃO EM NUVEM, 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

      OLIVEIRA, Ricardo Ramos de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem. 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-16072018-170853/. Acesso em: 29 mar. 2024.
    • APA

      Oliveira, R. R. de. (2017). Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
    • NLM

      Oliveira RR de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
    • Vancouver

      Oliveira RR de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
  • Source: The Journal of Systems and Software. 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

      EL-FAKIH, Khaled et al. An assessment of extended finite state machine test selection criteria. The Journal of Systems and Software, v. 123, n. Ja 2017, p. 106-118, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2016.09.044. Acesso em: 29 mar. 2024.
    • APA

      El-Fakih, K., Simão, A. da S., Jadoon, N., & Maldonado, J. C. (2017). An assessment of extended finite state machine test selection criteria. The Journal of Systems and Software, 123( Ja 2017), 106-118. doi:10.1016/j.jss.2016.09.044
    • NLM

      El-Fakih K, Simão A da S, Jadoon N, Maldonado JC. An assessment of extended finite state machine test selection criteria [Internet]. The Journal of Systems and Software. 2017 ; 123( Ja 2017): 106-118.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1016/j.jss.2016.09.044
    • Vancouver

      El-Fakih K, Simão A da S, Jadoon N, Maldonado JC. An assessment of extended finite state machine test selection criteria [Internet]. The Journal of Systems and Software. 2017 ; 123( Ja 2017): 106-118.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1016/j.jss.2016.09.044
  • Source: Proceedings. Conference titles: IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW. 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

      FRAGAL, Vanderson Hafemann et al. Reducing the concretization effort in fsm-based testing of software product lines. 2017, Anais.. Piscataway, NJ: IEEE, 2017. Disponível em: https://doi.org/10.1109/ICSTW.2017.61. Acesso em: 29 mar. 2024.
    • APA

      Fragal, V. H., Simão, A. da S., Endo, A. T., & Mousavi, M. R. (2017). Reducing the concretization effort in fsm-based testing of software product lines. In Proceedings. Piscataway, NJ: IEEE. doi:10.1109/ICSTW.2017.61
    • NLM

      Fragal VH, Simão A da S, Endo AT, Mousavi MR. Reducing the concretization effort in fsm-based testing of software product lines [Internet]. Proceedings. 2017 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
    • Vancouver

      Fragal VH, Simão A da S, Endo AT, Mousavi MR. Reducing the concretization effort in fsm-based testing of software product lines [Internet]. Proceedings. 2017 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
  • Unidade: ICMC

    Subjects: CÂMBIO (ECONOMIA), TEMPO-REAL, CARTEIRA DE CÂMBIO, SOFTWARES

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

      MELLO, Moreno Siqueira e. Sistema para testes de stress em uma carteira de opções de moedas. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/. Acesso em: 29 mar. 2024.
    • APA

      Mello, M. S. e. (2017). Sistema para testes de stress em uma carteira de opções de moedas (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
    • NLM

      Mello MS e. Sistema para testes de stress em uma carteira de opções de moedas [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
    • Vancouver

      Mello MS e. Sistema para testes de stress em uma carteira de opções de moedas [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
  • Unidade: ICMC

    Subjects: NÚMEROS ALGÉBRICOS, MÉTODO DE MONTE CARLO, PROGRAMAÇÃO PARALELA, POLÍTICA DE PREÇO

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

      CALDERARO, Felipe Boteon. Precificação de opções exóticas utilizando CUDA. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/. Acesso em: 29 mar. 2024.
    • APA

      Calderaro, F. B. (2017). Precificação de opções exóticas utilizando CUDA (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
    • NLM

      Calderaro FB. Precificação de opções exóticas utilizando CUDA [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
    • Vancouver

      Calderaro FB. Precificação de opções exóticas utilizando CUDA [Internet]. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
  • Source: Information and Software Technology. 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

      BONIFACIO, Adilson e MOURA, Arnaldo e SIMÃO, Adenilso da Silva. Experimental comparison of approaches for checking completeness of test suites from finite state machines. Information and Software Technology, v. 92, p. 95-104, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2017.07.012. Acesso em: 29 mar. 2024.
    • APA

      Bonifacio, A., Moura, A., & Simão, A. da S. (2017). Experimental comparison of approaches for checking completeness of test suites from finite state machines. Information and Software Technology, 92, 95-104. doi:10.1016/j.infsof.2017.07.012
    • NLM

      Bonifacio A, Moura A, Simão A da S. Experimental comparison of approaches for checking completeness of test suites from finite state machines [Internet]. Information and Software Technology. 2017 ; 92 95-104.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1016/j.infsof.2017.07.012
    • Vancouver

      Bonifacio A, Moura A, Simão A da S. Experimental comparison of approaches for checking completeness of test suites from finite state machines [Internet]. Information and Software Technology. 2017 ; 92 95-104.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1016/j.infsof.2017.07.012
  • Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-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

      PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_20. Acesso em: 29 mar. 2024. , 2017
    • APA

      Petrenko, A., & Simão, A. da S. (2017). Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_20
    • NLM

      Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
    • Vancouver

      Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
  • Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-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

      CAVALCANTI, Ana e SIMÃO, Adenilso da Silva. Fault-based testing for refinement in CSP. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_2. Acesso em: 29 mar. 2024. , 2017
    • APA

      Cavalcanti, A., & Simão, A. da S. (2017). Fault-based testing for refinement in CSP. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_2
    • NLM

      Cavalcanti A, Simão A da S. Fault-based testing for refinement in CSP [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 21-37.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_2
    • Vancouver

      Cavalcanti A, Simão A da S. Fault-based testing for refinement in CSP [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 21-37.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_2
  • Source: Anais. Conference titles: Escola Regional de Alto Desempenho de São Paulo - ERAD-SP. Unidade: ICMC

    Subjects: 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 e SOUZA, Paulo Sérgio Lopes de e SIMÃO, Adenilso da Silva. Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI. 2017, Anais.. Porto Alegre, RS: SBC, 2017. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf. Acesso em: 29 mar. 2024.
    • APA

      Damasceno, C. D. N., Souza, P. S. L. de, & Simão, A. da S. (2017). Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI. In Anais. Porto Alegre, RS: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf
    • NLM

      Damasceno CDN, Souza PSL de, Simão A da S. Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI [Internet]. Anais. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf
    • Vancouver

      Damasceno CDN, Souza PSL de, Simão A da S. Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI [Internet]. Anais. 2017 ;[citado 2024 mar. 29 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf
  • Source: Information and Software Technology. 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

      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: 29 mar. 2024.
    • 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 2024 mar. 29 ] 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 2024 mar. 29 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003
  • 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: 29 mar. 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 mar. 29 ] 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 mar. 29 ] 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: 29 mar. 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 mar. 29 ] 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 mar. 29 ] Available from: https://doi.org/10.1145/2973839.2973849
  • 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: 29 mar. 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 mar. 29 ] 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 mar. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
  • 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: 29 mar. 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 mar. 29 ] 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 mar. 29 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
  • 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: 29 mar. 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 mar. 29 ] 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 mar. 29 ] Available from: https://doi.org/10.1093/comjnl/bxv122
  • 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: 29 mar. 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 mar. 29 ] 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 mar. 29 ] Available from: https://doi.org/10.1145/2994291.2994297

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