Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM.

Yukun Dong Wenjing Yin Shudong Wang Li Zhang Lin Sun

Published in: IEEE Access (2019)

Keyphrases

statistical model
management system
computational model
formal model
memory requirements
limited memory
past observations
high level
database systems
probability distribution
theoretical framework
neural network model