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

Filtros



Refine with date range


  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1109/IC2E.2017.30
  • 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: 30 set. 2024.
    • 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 2024 set. 30 ] 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 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1016/j.jss.2016.09.044
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1016/j.infsof.2017.07.012
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
  • 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: 30 set. 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 set. 30 ] 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 set. 30 ] 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: 30 set. 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 set. 30 ] 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 set. 30 ] 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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003

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