Aluna de Computação conquista 3o lugar em competição internacional de pesquisa

Beatriz é orientanda do Prof. Rohit Gheyi, que é professor da Unidade Acadêmica de Sistemas e Computação. O objetivo do trabalho dela (“Identifying Mutation Subsumption Relations”) é ajudar no processo de testes de software, através da detecção de mutantes subsumidos e equivalentes em testes de mutação. Para isso, ela propôs uma técnica que permite especificar e provar propriedades formalmente utilizando um provador automático de teoremas para identificar mutantes subsumidos e equivalentes.