Filtros : "Mutation testing" Limpar

Filtros



Refine with date range


  • Source: Anais. Conference titles: Simpósio Brasileiro de Testes de Software Sistemático e Automatizado. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, ANÁLISE DE MUTANTES, LÓGICA FUZZY

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

      GARCIA, Bruno Ely Reis e SOUZA, Simone do Rocio Senger de. An empirical evaluation of fuzz targets using mutation testing. 2025, Anais.. Porto Alegre: SBC, 2025. Disponível em: https://doi.org/10.5753/sast.2025.14183. Acesso em: 03 jan. 2026.
    • APA

      Garcia, B. E. R., & Souza, S. do R. S. de. (2025). An empirical evaluation of fuzz targets using mutation testing. In Anais. Porto Alegre: SBC. doi:10.5753/sast.2025.14183
    • NLM

      Garcia BER, Souza S do RS de. An empirical evaluation of fuzz targets using mutation testing [Internet]. Anais. 2025 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.5753/sast.2025.14183
    • Vancouver

      Garcia BER, Souza S do RS de. An empirical evaluation of fuzz targets using mutation testing [Internet]. Anais. 2025 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.5753/sast.2025.14183
  • Unidade: ICMC

    Subjects: ANÁLISE DE MUTANTES, SISTEMAS OPERACIONAIS, APLICATIVOS MÓVEIS, SOFTWARES, SEGURANÇA DE REDES

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

      VASCONCELOS, Eduardo Santos Medeiros de. Operadores de mutação para avaliação da qualidade de testes de segurança em aplicações Android. 2025. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2025. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102025-155850/. Acesso em: 03 jan. 2026.
    • APA

      Vasconcelos, E. S. M. de. (2025). Operadores de mutação para avaliação da qualidade de testes de segurança em aplicações Android (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102025-155850/
    • NLM

      Vasconcelos ESM de. Operadores de mutação para avaliação da qualidade de testes de segurança em aplicações Android [Internet]. 2025 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102025-155850/
    • Vancouver

      Vasconcelos ESM de. Operadores de mutação para avaliação da qualidade de testes de segurança em aplicações Android [Internet]. 2025 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-24102025-155850/
  • Unidade: ICMC

    Subjects: APRENDIZADO COMPUTACIONAL, SOFTWARES, QUALIDADE DE SOFTWARE

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

      SILVEIRA, Beatriz Nogueira Carvalho da. Seleção de Dados de Teste com Base na Aplicação de Testes de Mutação a Modelos de Árvore de Decisão. 2024. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062024-105606/. Acesso em: 03 jan. 2026.
    • APA

      Silveira, B. N. C. da. (2024). Seleção de Dados de Teste com Base na Aplicação de Testes de Mutação a Modelos de Árvore de Decisão (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062024-105606/
    • NLM

      Silveira BNC da. Seleção de Dados de Teste com Base na Aplicação de Testes de Mutação a Modelos de Árvore de Decisão [Internet]. 2024 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062024-105606/
    • Vancouver

      Silveira BNC da. Seleção de Dados de Teste com Base na Aplicação de Testes de Mutação a Modelos de Árvore de Decisão [Internet]. 2024 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062024-105606/
  • Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE

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

      BEZERRA, Davi Parca. Evolução da ferramenta Proteum para apoio ao teste de mutação aplicado em ensaios de proficiência de software. 2024. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042025-151001/. Acesso em: 03 jan. 2026.
    • APA

      Bezerra, D. P. (2024). Evolução da ferramenta Proteum para apoio ao teste de mutação aplicado em ensaios de proficiência de software (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042025-151001/
    • NLM

      Bezerra DP. Evolução da ferramenta Proteum para apoio ao teste de mutação aplicado em ensaios de proficiência de software [Internet]. 2024 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042025-151001/
    • Vancouver

      Bezerra DP. Evolução da ferramenta Proteum para apoio ao teste de mutação aplicado em ensaios de proficiência de software [Internet]. 2024 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-15042025-151001/
  • Source: Anais. Conference titles: Simpósio Brasileiro de Engenharia de Software - SBES. Unidade: ICMC

    Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ANÁLISE DE MUTANTES, LÓGICA FUZZY

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

      GARCIA, Bruno Ely Reis e DELAMARO, Márcio Eduardo e SOUZA, Simone do Rocio Senger de. Towards differential fuzzing to reduce manual efforts to identify equivalent mutants: a preliminary study. 2024, Anais.. Porto Alegre: SBC, 2024. Disponível em: https://doi.org/10.5753/sbes.2024.3557. Acesso em: 03 jan. 2026.
    • APA

      Garcia, B. E. R., Delamaro, M. E., & Souza, S. do R. S. de. (2024). Towards differential fuzzing to reduce manual efforts to identify equivalent mutants: a preliminary study. In Anais. Porto Alegre: SBC. doi:10.5753/sbes.2024.3557
    • NLM

      Garcia BER, Delamaro ME, Souza S do RS de. Towards differential fuzzing to reduce manual efforts to identify equivalent mutants: a preliminary study [Internet]. Anais. 2024 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.5753/sbes.2024.3557
    • Vancouver

      Garcia BER, Delamaro ME, Souza S do RS de. Towards differential fuzzing to reduce manual efforts to identify equivalent mutants: a preliminary study [Internet]. Anais. 2024 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.5753/sbes.2024.3557
  • Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, ANÁLISE DE MUTANTES

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

      BRITO JUNIOR, Claudinei. Uma abordagem para identificação de mutantes minimais e equivalentes baseada na estrutura do código fonte. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072022-162044/. Acesso em: 03 jan. 2026.
    • APA

      Brito Junior, C. (2022). Uma abordagem para identificação de mutantes minimais e equivalentes baseada na estrutura do código fonte (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072022-162044/
    • NLM

      Brito Junior C. Uma abordagem para identificação de mutantes minimais e equivalentes baseada na estrutura do código fonte [Internet]. 2022 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072022-162044/
    • Vancouver

      Brito Junior C. Uma abordagem para identificação de mutantes minimais e equivalentes baseada na estrutura do código fonte [Internet]. 2022 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072022-162044/
  • Unidade: ICMC

    Subjects: PROGRAMAÇÃO CONCORRENTE, SOFTWARES, ALGORITMOS GENÉTICOS, FALHAS COMPUTACIONAIS

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

      SILVA, Rodolfo Adamshuk. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs. 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-10102018-141934/. Acesso em: 03 jan. 2026.
    • APA

      Silva, R. A. (2018). Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/
    • NLM

      Silva RA. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs [Internet]. 2018 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/
    • Vancouver

      Silva RA. Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs [Internet]. 2018 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10102018-141934/
  • Unidade: ICMC

    Subjects: 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

      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: 03 jan. 2026.
    • 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 2026 jan. 03 ] 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 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
  • Source: Proceedings. Conference titles: Simpósio Brasileiro de Engenharia de Software. Unidades: ICMC, EACH

    Subjects: ENGENHARIA DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, QUALIDADE DE SOFTWARE, ANÁLISE DE MUTANTES

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

      DELAMARO, Márcio Eduardo e CHAIM, Marcos Lordello e MALDONADO, José Carlos. Where are the minimal mutants? 2018, Anais.. New York, NY: ACM, 2018. Disponível em: https://doi.org/10.1145/3266237.3266241. Acesso em: 03 jan. 2026.
    • APA

      Delamaro, M. E., Chaim, M. L., & Maldonado, J. C. (2018). Where are the minimal mutants? In Proceedings. New York, NY: ACM. doi:10.1145/3266237.3266241
    • NLM

      Delamaro ME, Chaim ML, Maldonado JC. Where are the minimal mutants? [Internet]. Proceedings. 2018 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.1145/3266237.3266241
    • Vancouver

      Delamaro ME, Chaim ML, Maldonado JC. Where are the minimal mutants? [Internet]. Proceedings. 2018 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.1145/3266237.3266241
  • Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, ALGORITMOS GENÉTICOS, ANÁLISE DE DADOS

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

      SOUZA, Francisco Carlos Monteiro. Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em busca. 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-28092017-162339/. Acesso em: 03 jan. 2026.
    • APA

      Souza, F. C. M. (2017). Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em busca (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28092017-162339/
    • NLM

      Souza FCM. Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em busca [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28092017-162339/
    • Vancouver

      Souza FCM. Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em busca [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-28092017-162339/
  • Unidade: ICMC

    Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, QUALIDADE DE SOFTWARE, ENGENHARIA DE SOFTWARE, ANÁLISE DE MUTANTES

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

      MACIEL, Ana Claudia. Avaliação da qualidade de oráculos de teste utilizando mutação. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24072017-142852/. Acesso em: 03 jan. 2026.
    • APA

      Maciel, A. C. (2017). Avaliação da qualidade de oráculos de teste utilizando mutação (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24072017-142852/
    • NLM

      Maciel AC. Avaliação da qualidade de oráculos de teste utilizando mutação [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24072017-142852/
    • Vancouver

      Maciel AC. Avaliação da qualidade de oráculos de teste utilizando mutação [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24072017-142852/
  • 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

      SILVA, Rodolfo Adamshuk e SOUZA, Simone do Rocio Senger de e SOUZA, Paulo Sérgio Lopes de. A systematic review on search based mutation testing. Information and Software Technology, v. 81, n. Ja 2017, p. 19-35, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2016.01.017. Acesso em: 03 jan. 2026.
    • APA

      Silva, R. A., Souza, S. do R. S. de, & Souza, P. S. L. de. (2017). A systematic review on search based mutation testing. Information and Software Technology, 81( Ja 2017), 19-35. doi:10.1016/j.infsof.2016.01.017
    • NLM

      Silva RA, Souza S do RS de, Souza PSL de. A systematic review on search based mutation testing [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 19-35.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.infsof.2016.01.017
    • Vancouver

      Silva RA, Souza S do RS de, Souza PSL de. A systematic review on search based mutation testing [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 19-35.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.infsof.2016.01.017
  • Source: Journal of Software Engineering Research and Development. 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

      ARAÚJO, Claudio A. et al. Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, v. No 2016, n. 5, p. 1-32, 2016Tradução . . Disponível em: https://doi.org/10.1186/s40411-016-0031-8. Acesso em: 03 jan. 2026.
    • APA

      Araújo, C. A., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2016). Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, No 2016( 5), 1-32. doi:10.1186/s40411-016-0031-8
    • NLM

      Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1186/s40411-016-0031-8
    • Vancouver

      Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1186/s40411-016-0031-8
  • Unidade: ICMC

    Subjects: SOFTWARES, PROGRAMAÇÃO PARALELA, ENGENHARIA DE SOFTWARE

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

      ANDRADE, Stevão Alves de. Execução paralela de programas como suporte ao teste de mutaçã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-21112016-103423/. Acesso em: 03 jan. 2026.
    • APA

      Andrade, S. A. de. (2016). Execução paralela de programas como suporte ao teste de mutação (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21112016-103423/
    • NLM

      Andrade SA de. Execução paralela de programas como suporte ao teste de mutação [Internet]. 2016 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21112016-103423/
    • Vancouver

      Andrade SA de. Execução paralela de programas como suporte ao teste de mutação [Internet]. 2016 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21112016-103423/
  • Unidade: ICMC

    Subjects: SOFTWARES (TESTES;QUALIDADE), PROGRAMAÇÃO CONCORRENTE, ENGENHARIA DE SOFTWARE

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

      SILVA, Rodolfo Adamshuk. Teste de mutação aplicado a programas concorrentes em MPI. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/. Acesso em: 03 jan. 2026.
    • APA

      Silva, R. A. (2013). Teste de mutação aplicado a programas concorrentes em MPI (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/
    • NLM

      Silva RA. Teste de mutação aplicado a programas concorrentes em MPI [Internet]. 2013 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/
    • Vancouver

      Silva RA. Teste de mutação aplicado a programas concorrentes em MPI [Internet]. 2013 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/
  • Unidade: ICMC

    Subjects: SOFTWARES (TESTES), JAVA, ENGENHARIA DE SOFTWARE

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

      DURELLI, Vinicius Humberto Serapilha. Toward harnessing a Java high-level language virtual machine for supporting software testing. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/. Acesso em: 03 jan. 2026.
    • APA

      Durelli, V. H. S. (2013). Toward harnessing a Java high-level language virtual machine for supporting software testing (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/
    • NLM

      Durelli VHS. Toward harnessing a Java high-level language virtual machine for supporting software testing [Internet]. 2013 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/
    • Vancouver

      Durelli VHS. Toward harnessing a Java high-level language virtual machine for supporting software testing [Internet]. 2013 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/

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