ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises

Daniel Baudisch, Manuel Gesell, Klaus Schneider

2009

Abstract

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.

References

  1. APA08 (2008). Apache http http://www.apache.org/index.html.
  2. AVEREST (2008). Averest - a framework for the specification, verification, and implementation of reactive systems. http://www.averest.org/.
  3. Burch, J., Clarke, E., Mcmillan, K., Dill, D., and Hwang, L. (1990). Symbolic model checking: 1020 states and beyond. In Symposium on Logic in Computer Science, pages 1-33. IEEE Computer Society Press.
  4. CalMaeth (2008). http://CalMaeth.maths.uwa.edu.au.
  5. Hades (2007). Hades - interactive simulation framework. http://tams-www.informatik.unihamburg.de/applets/hades/webdemos/index.html.
  6. im-c.de (2008). IMC AG: Learning management system. http://www.im-c.de/.
  7. Ross, K. (2005). Academic dishonesty and the internet. Communications of the ACM, 48(10):29-31.
Download


Paper Citation


in Harvard Style

Baudisch D., Gesell M. and Schneider K. (2009). ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises . In Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-8111-82-1, pages 104-110. DOI: 10.5220/0001978801040110


in Bibtex Style

@conference{csedu09,
author={Daniel Baudisch and Manuel Gesell and Klaus Schneider},
title={ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises},
booktitle={Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2009},
pages={104-110},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001978801040110},
isbn={978-989-8111-82-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises
SN - 978-989-8111-82-1
AU - Baudisch D.
AU - Gesell M.
AU - Schneider K.
PY - 2009
SP - 104
EP - 110
DO - 10.5220/0001978801040110