Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection. - Hayk Aslanyan; Hovhannes Movsisyan; Hripsime Hovhannisyan; Zhora Gevorgyan; Ruslan Mkoyan; Arutyun Avetisyan; Sevak Sargsyan (IEEE Access, 2024)