• Reduzindo o Custo do Teste de Mutação com base em Informações de Análise Estática 

      Silva, Vinícius Barcelos (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, Câmpus São Carlos, 26/02/2019)
      To guarantee the quality of the software, static and dynamic analysis techniques can be used. Both have advantages and disadvantages and should be used together to improve the quality of the results obtained. In this work, ...
    • Investigação de operadores essenciais de mutação para programas orientados a aspectos 

      Lacerda, Jésus Thiago Sousa (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 20/10/2014)
      Context: The literature on software testing reports on the application of the Mutation Analysis criterion or mutation testing as a promising approach for revealing faults in aspect-oriented (AO) programs. However, it ...
    • Reduzindo o custo do teste de mutação com base no conceito de arcos primitivos 

      Kuroishi, Pedro Henrique (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, Câmpus São Carlos, 02/02/2021)
      Context: Software testing plays an important role in quality assurance. Testing techniques and criteria help the tester to develop and assess test suites. Mutation testing is a fault-based testing criterion commonly used ...
    • Avaliação de geradores automáticos de dados de teste com ênfase no teste de mutação 

      Araujo, Filipe Santos (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, Câmpus São Carlos, 31/03/2021)
      Context: With the increasing presence of technology in daily life, it is crucial to guarantee the quality of software products, which can be reached by testing activity. However, testing is highly expensive, once it is ...