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

Sara Mernissi Arifi, Azeddine Zahi, Rachid Benabbou. Semantic similarity based evaluation for C programs through the use of symbolic execution. In 2016 IEEE Global Engineering Education Conference, EDUCON 2016, Abu Dhabi, United Arab Emirates, April 10-13, 2016. pages 826-833, IEEE, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.