ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises
Daniel Baudisch, Manuel Gesell, Klaus Schneider · 2009
We describe OnExSy, our online exercise system that allows our students in computer science to submit their solutions to exercises via a web form. The system is not only able to automate the administration of the student accounts as done by many other comparable systems. In addition, our system is even able to automatically check the correctness of the submitted solutions and is able to provide a counterexample in case the solution is wrong. This feature is provided by modern formal verification tools that have also been developed in our research group. As a result, our tutors do not waste time for checking the correctness of the solutions of many students, and instead, can spend the saved time for an individual support of students. Moreover, the tool is available not only during the time when lectures are held, but also during holidays which is very important for the final preparation of the exam.