Automated fault localizing and correction in dynamically analyzed programs. - Sara Mernissi Arifi; Ismail Nait Abdellah Ouali; Rachid Benabbou; Azeddine Zahi (CIST, 2016)

Semantic similarity based evaluation for C programs through the use of symbolic execution. - Sara Mernissi Arifi; Azeddine Zahi; Rachid Benabbou (EDUCON, 2016)