Precise and efficient static array bound checking for large embedded C programs.

Arnaud Venet Guillaume P. Brat

Published in: PLDI (2004)

Keyphrases

upper bound
machine learning
information retrieval
digital images
lightweight
cost effective
data sets
image processing
case study
lower bound
evolutionary algorithm
worst case
computationally efficient
consistency checking