Safe Memory-Leak Fixing for C Programs.

Qing Gao Yingfei Xiong Yaqing Mi Lu Zhang Weikun Yang Zhaoping Zhou Bing Xie Hong Mei

Published in: ICSE (1) (2015)

Keyphrases

memory requirements
memory usage
automatic programming
computational power
memory space
control flow
data sets
databases
decision trees
multiscale
computing power
random access
limited memory
memory size
provably correct