STAR

Software Testing and Analysis Research

Grupo de Pesquisa, Centro de Informática da UFPE

Recrutando alunos de mestrado e doutorado

Inscrições de 22/06 a 17/07 de 2020. Link para edital de seleção

free amp template

Líderes

Nosso objetivo é melhorar a qualidade de software através da prevenção, descoberta, diagnóstico, e correção de erros e vulnerabilidades.

(para detalhes: acesse links dos pesquisadores abaixo)

Leopoldo Teixeira

Marcelo d'Amorim

Impact (Research&Practice)

Hundreds of bugs found

ACM Distinguished Paper Award (ICSE'19)

Grants

2019 Facebook TAV RFP

2017-2020: $300K NSF-RNP Cyber-Security

Tools

Frisk
CORAL
qCORAL
Willow