Semantic similarity based evaluation for C programs through the use of symbolic execution.

Sara Mernissi Arifi, Azeddine Zahi, Rachid Benabbou

Browse the full EDUCON paper archive.