Menu

Filtros : "ENGENHARIA DE SOFTWARE" "Simão, Adenilso da Silva" "ICMC" Removidos: "Ciências de Computação e Matemática e Computacional" "2019" "Biometrical Journal" Limpar

Filtros

Limitar por data

1 - 20 (133 registros)

  • Trabalho de evento-anais periodico

    Active inference of extended finite state models of software systems (2023)

    Groz, Roland ; Oriat, Catherine ; Vega, Germán ; Simão, Adenilso da Silva ; Foster, Michael; Walkinshaw, Neil

    Fonte: Proceedings of Machine Learning Research - PMLR. Nome do evento: International Conference on Grammatical Inference - ICGI. Unidade: ICMC

    Assuntos: APRENDIZAGEM, PROGRAMAÇÃO GENÉTICA, INFERÊNCIA, ENGENHARIA DE SOFTWARE

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

    • ABNT

      GROZ, Roland et al. Active inference of extended finite state models of software systems. Proceedings of Machine Learning Research - PMLR. Brookline: Microtome Publishing. Disponível em: https://proceedings.mlr.press/v217/groz23a.html. Acesso em: 08 nov. 2024. , 2023

    • APA

      Groz, R., Oriat, C., Vega, G., Simão, A. da S., Foster, M., & Walkinshaw, N. (2023). Active inference of extended finite state models of software systems. Proceedings of Machine Learning Research - PMLR. Brookline: Microtome Publishing. Recuperado de https://proceedings.mlr.press/v217/groz23a.html

    • NLM

      Groz R, Oriat C, Vega G, Simão A da S, Foster M, Walkinshaw N. Active inference of extended finite state models of software systems [Internet]. Proceedings of Machine Learning Research - PMLR. 2023 ; 217 265-269.[citado 2024 nov. 08 ] Available from: https://proceedings.mlr.press/v217/groz23a.html

    • Vancouver

      Groz R, Oriat C, Vega G, Simão A da S, Foster M, Walkinshaw N. Active inference of extended finite state models of software systems [Internet]. Proceedings of Machine Learning Research - PMLR. 2023 ; 217 265-269.[citado 2024 nov. 08 ] Available from: https://proceedings.mlr.press/v217/groz23a.html

  • 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

    Assuntos: SOFTWARES, ENGENHARIA DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE

    Acesso à fonteAcesso à fonteDOIComo citar
    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: 08 nov. 2024.

    • 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 2024 nov. 08 ] 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 2024 nov. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/

  • Tese (Doutorado)

    Learning finite state machine models of evolving systems: From evolution over time to variability in space (2020)

    Damasceno, Carlos Diego Nascimento; Mousavi, Mohammad Reza (Orientador); Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Assuntos: ENGENHARIA DE SOFTWARE, SOFTWARES

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

    • ABNT

      DAMASCENO, Carlos Diego Nascimento. Learning finite state machine models of evolving systems: From evolution over time to variability in space. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/. Acesso em: 08 nov. 2024.

    • APA

      Damasceno, C. D. N. (2020). Learning finite state machine models of evolving systems: From evolution over time to variability in space (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/

    • NLM

      Damasceno CDN. Learning finite state machine models of evolving systems: From evolution over time to variability in space [Internet]. 2020 ;[citado 2024 nov. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/

    • Vancouver

      Damasceno CDN. Learning finite state machine models of evolving systems: From evolution over time to variability in space [Internet]. 2020 ;[citado 2024 nov. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/

  • Tese (Doutorado)

    Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (2020)

    Rocha, Mauricio Rêgo Mota da; Simão, Adenilso da Silva (Orientador) ; Sousa, Thiago Carvalho de (Orientador)

    Unidade: ICMC

    Assuntos: SOFTWARES, ENGENHARIA DE SOFTWARE

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

    • ABNT

      ROCHA, Mauricio Rêgo Mota da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/. Acesso em: 08 nov. 2024.

    • APA

      Rocha, M. R. M. da. (2020). Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/

    • NLM

      Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 nov. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/

    • Vancouver

      Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 nov. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/

  • Trabalho de evento

    Revisiting AI and testing methods to infer FSM models of black-box systems (2018)

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

    Fonte: Proceedings. Nome do evento: International Conference on Software Engineering - ICSE. Unidade: ICMC

    Assuntos: ENGENHARIA DE SOFTWARE, APRENDIZADO COMPUTACIONAL, HEURÍSTICA, SOFTWARES (TESTES), MÉTODO DOS ELEMENTOS FINITOS

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

    • ABNT

      GROZ, Roland et al. Revisiting AI and testing methods to infer FSM models of black-box systems. 2018, Anais.. New York: ACM, 2018. Disponível em: https://doi.org/10.1145/3194733.3194736. Acesso em: 08 nov. 2024.

    • APA

      Groz, R., Simão, A. da S., Bremond, N., & Oriat, C. (2018). Revisiting AI and testing methods to infer FSM models of black-box systems. In Proceedings. New York: ACM. doi:10.1145/3194733.3194736

    • NLM

      Groz R, Simão A da S, Bremond N, Oriat C. Revisiting AI and testing methods to infer FSM models of black-box systems [Internet]. Proceedings. 2018 ;[citado 2024 nov. 08 ] Available from: https://doi.org/10.1145/3194733.3194736

    • Vancouver

      Groz R, Simão A da S, Bremond N, Oriat C. Revisiting AI and testing methods to infer FSM models of black-box systems [Internet]. Proceedings. 2018 ;[citado 2024 nov. 08 ] Available from: https://doi.org/10.1145/3194733.3194736

  • Artigo de periodico

    Similarity testing for role-based access control systems (2018)

    Damasceno, Carlos Diego N.; Masiero, Paulo Cesar ; Simão, Adenilso da Silva

    Fonte: Journal of Software Engineering Research and Development. Unidade: ICMC

    Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, AUTÔMATOS FINITOS, TESTE E AVALIAÇÃO DE SOFTWARE

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

    • ABNT

      DAMASCENO, Carlos Diego N. e MASIERO, Paulo Cesar e SIMÃO, Adenilso da Silva. Similarity testing for role-based access control systems. Journal of Software Engineering Research and Development, v. 6, n. Ja 2018, p. 1-37, 2018Tradução . . Disponível em: https://doi.org/10.1186/s40411-017-0045-x. Acesso em: 08 nov. 2024.

    • APA

      Damasceno, C. D. N., Masiero, P. C., & Simão, A. da S. (2018). Similarity testing for role-based access control systems. Journal of Software Engineering Research and Development, 6( Ja 2018), 1-37. doi:10.1186/s40411-017-0045-x

    • NLM

      Damasceno CDN, Masiero PC, Simão A da S. Similarity testing for role-based access control systems [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( Ja 2018): 1-37.[citado 2024 nov. 08 ] Available from: https://doi.org/10.1186/s40411-017-0045-x

    • Vancouver

      Damasceno CDN, Masiero PC, Simão A da S. Similarity testing for role-based access control systems [Internet]. Journal of Software Engineering Research and Development. 2018 ; 6( Ja 2018): 1-37.[citado 2024 nov. 08 ] Available from: https://doi.org/10.1186/s40411-017-0045-x

  • Tese (Doutorado)

    Formal mutation testing in Circus process algebra (2018)

    Alberto, Alex D. B; Gauldel, Marie-Caude Antoinette Renée (coorient); Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Assuntos: SOFTWARES, ENGENHARIA DE SOFTWARE

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

    • ABNT

      ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 08 nov. 2024.

    • APA

      Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • NLM

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 nov. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • Vancouver

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 nov. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

  • Trabalho de evento-anais periodico

    Validated test models for software product lines: featured finite state machines (2017)

    Fragal, Vanderson Hafemann; Simão, Adenilso da Silva ; Mousavi, Mohammad Reza

    Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: International Conference Formal Aspects of Component Software - FACS. Unidade: ICMC

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

    Acesso à fonteDOIComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13

  • Trabalho de evento-anais periodico

    Adaptive localizer based on splitting trees (2017)

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

    Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC

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

    Acesso à fonteDOIComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21

  • Tese (Doutorado)

    Cross-project defect prediction with meta-Learning (2017)

    Porto, Faimison Rodrigues; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Assuntos: QUALIDADE DE SOFTWARE, ENGENHARIA DE SOFTWARE, SOFTWARES, APRENDIZADO COMPUTACIONAL, LINGUAGEM DE PROGRAMAÇÃO

    Acesso à fonteComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/

  • Trabalho de evento

    Impact of the vendor lock-in problem on testing as a service (TaaS) (2017)

    Oliveira, Ricardo Ramos de; Martins, Rafael Messias; Simão, Adenilso da Silva

    Fonte: IEEE Software. Nome do evento: IEEE International Conference on Cloud Engineering - IC2E. Unidade: ICMC

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

    Acesso à fonteDOIComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1109/IC2E.2017.30

  • Tese (Doutorado)

    Automatic generation of configurable test-suites for software product lines (2017)

    Fragal, Vanderson Hafemann; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Assuntos: SOFTWARES, ENGENHARIA DE SOFTWARE, ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO, GESTÃO DE PROJETOS

    Acesso à fonteAcesso à fonteDOIComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/

  • Trabalho de evento

    Reducing the concretization effort in fsm-based testing of software product lines (2017)

    Fragal, Vanderson Hafemann; Simão, Adenilso da Silva ; Endo, André Takeshi; Mousavi, Mohammad Reza

    Fonte: Proceedings. Nome do evento: IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW. Unidade: ICMC

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

    Acesso à fonteDOIComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1109/ICSTW.2017.61

  • Tese (Doutorado)

    Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem (2017)

    Oliveira, Ricardo Ramos de; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Assuntos: COMPUTAÇÃO EM NUVEM, SOFTWARES, ENGENHARIA DE SOFTWARE

    Acesso à fonteComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/

  • Artigo de periodico

    An assessment of extended finite state machine test selection criteria (2017)

    El-Fakih, Khaled; Simão, Adenilso da Silva ; Jadoon, Noshad; Maldonado, José Carlos

    Fonte: The Journal of Systems and Software. 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

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

  • Trabalho de evento-anais periodico

    Generating checking sequences for user defined fault models (2017)

    Petrenko, Alexandre; Simão, Adenilso da Silva

    Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC

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

    Acesso à fonteDOIComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20

  • Artigo de periodico

    Experimental comparison of approaches for checking completeness of test suites from finite state machines (2017)

    Bonifacio, Adilson; Moura, Arnaldo; 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

      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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1016/j.infsof.2017.07.012

  • Trabalho de evento-anais periodico

    Fault-based testing for refinement in CSP (2017)

    Cavalcanti, Ana; Simão, Adenilso da Silva

    Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC

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

    Acesso à fonteDOIComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_2

  • Trabalho de evento-resumo

    Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI (2017)

    Damasceno, Carlos Diego Nascimento; Souza, Paulo Sérgio Lopes de ; Simão, Adenilso da Silva

    Fonte: Anais. Nome do evento: Escola Regional de Alto Desempenho de São Paulo - ERAD-SP. Unidade: ICMC

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

    Acesso à fonteComo citar
    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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf

  • 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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003

1 - 20 (133 registros)

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