• 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, ...
    • Técnicas para identificação de funções de bibliotecas em binários vinculados estaticamente 

      Aisawa, William Akihiro Alves (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, 21/08/2020)
      Statically-linked libraries can cause the work of a reverse engineering analyst to get disproportionately hard compared to the work of the programmer who developed the software under study. This situation often arises not ...