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)

Accurate code fragment clone detection and its application in identifying known CVE clones. - Mariam Arutunian; Sevak Sargsyan; Hripsime Hovhannisyan; Garnik Khroyan; Albert Mkrtchyan; Hovhannes Movsisyan; Arutyun Avetisyan; Hayk Aslanyan (Int. J. Inf. Sec., 2025)