publications
2023
- INForumKaiyo: Testagem Automática de Aplicações de Memória PersistenteIn Actas do décimo quarto Simpósio de Informática (INForum ’23) 2023
- INForumDeteção de Erros de Concorrência em Programas de Memória Persistente Utilizando Análise de LocksetsIn Actas do décimo quarto Simpósio de Informática (INForum ’23) 2023