Validation of memory accesses through symbolic analyses. - Henrique Nazaré; Izabela Maffra; Willer Santos; Leonardo Barbosa e Oliveira; Laure Gonnord; Fernando Magno Quintão Pereira (OOPSLA, 2014)