Semantic similarity based evaluation for C programs through the use of symbolic execution
Symbolic execution for software testing: three decades later