Login / Signup
Sara Mernissi Arifi
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Automated Analysis
Domain Ontology
Error Detection
Data Flow
Top Venues
EDUCON
CIST
</>
Publications
</>
Sara Mernissi Arifi
,
Azeddine Zahi
,
Rachid Benabbou
Semantic similarity based evaluation for C programs through the use of symbolic execution.
EDUCON
(2016)
Sara Mernissi Arifi
,
Ismail Nait Abdellah Ouali
,
Rachid Benabbou
,
Azeddine Zahi
Automated fault localizing and correction in dynamically analyzed programs.
CIST
(2016)