Login / Signup
Hovhannes Movsisyan
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Test Data Generation
Static Analysis
Leak Detection
Symbolic Execution
Top Venues
IEEE Access
</>
Publications
</>
Hayk Aslanyan
,
Hovhannes Movsisyan
,
Hripsime Hovhannisyan
,
Zhora Gevorgyan
,
Ruslan Mkoyan
,
Arutyun Avetisyan
,
Sevak Sargsyan
Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection.
IEEE Access
12 (2024)