Login / Signup

Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection.

Hayk AslanyanHovhannes MovsisyanHripsime HovhannisyanZhora GevorgyanRuslan MkoyanArutyun AvetisyanSevak Sargsyan
Published in: IEEE Access (2024)
Keyphrases