Validation of memory accesses through symbolic analyses.

Henrique Nazar, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira

Browse the full OOPSLA paper archive.