Memory Leak Detection Based on Memory State Transition Graph.

Zhenbo Xu Jian Zhang Zhongxing Xu

Published in: APSEC (2011)

Keyphrases

state transition
memory requirements
black box
state transitions
leak detection
database
state space
input output
finite state machines
image sequences
training data
object oriented
mean shift
graph structure
weighted graph