Iago C. Corrêa and Patrı́cia Pitthan Barcelos. 2019. Validação do Mecanismo de Envio de Mensagens Heartbeat do HDFS Através de Programação Orientada a Aspectos. In Anais da XIX Escola Regional de Alto Desempenho da Região Sul, agosto 06, 2019, Três de Maio, Brasil. SBC, Porto Alegre, Brasil.