2
Publications
25
Citations
2
H-Index
2015
Active since
Affiliations
Institute for System Programming(Current)
Mariam Arutunian is an author at Institute for System Programming specializing in formal methods, software design, and formal verification.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2015–2017
2
2
LLVM-based code clone detection framework
Arutyun Avetisyan, Shamil Kurmangaleev, Sevak Sargsyan et al. · 2015 · 13 citations
Software Maintenance, Code Clones Detection, Engineering +19
Scalable Framework for Accurate Binary Code Comparison
Hayk Aslanyan, Arutyun Avetisyan, Mariam Arutunian et al. · 2017 · 12 citations
Software Maintenance, Engineering, Program Dependence Graph +20
Rows per page
1–2 of 2