Yukun Dong, Wenjing Yin, Shudong Wang, Li Zhang, Lin Sun. Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM. IEEE Access, 7:158904-158916, 2019. [doi]
@article{DongYWZS19,
title = {Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM},
author = {Yukun Dong and Wenjing Yin and Shudong Wang and Li Zhang and Lin Sun},
year = {2019},
doi = {10.1109/ACCESS.2019.2951168},
url = {https://doi.org/10.1109/ACCESS.2019.2951168},
researchr = {https://researchr.org/publication/DongYWZS19},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {7},
pages = {158904-158916},
}