Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages.

Marcus Rodrigues, Breno Guimares, Fernando Magno Quinto Pereira

Browse the full CGO paper archive.