Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages. - Marcus Rodrigues; Breno Guimarães; Fernando Magno Quintão Pereira (CGO, 2019)