Verifying pointer safety for programs with unknown calls.

Chenguang Luo Florin Craciun Shengchao Qin Guanhua He Wei-Ngan Chin

Published in: J. Symb. Comput. (2010)

Keyphrases

data structure
image processing
model checking
computer programs
automatic programming
data sets
learning environment
united states
intermediate level