Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution).

Herbert O. Rocha Raimundo S. Barreto Lucas C. Cordeiro

Published in: TACAS (2016)

Keyphrases

memory usage
low memory
databases
source code
computer programs
fixpoint
memory space
international competition
image segmentation
maximum likelihood
maximum a posteriori
associative memory
computational power
automatic programming
programs written