Automated Student Code Assessment with Symbolic Execution and Java PathFinder
The assessment of student code is a necessary part of most programming courses. However, many ways of assessing the correctness of student code can be very time-consuming and may be error-prone. This paper presents JSymTester, a tool which uses the symbolic execution framework of the Java PathFinder...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
DigitalCommons@CalPoly
2012
|
| Online Access: | https://digitalcommons.calpoly.edu/theses/891 https://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=1942&context=theses |