QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Communications of the ACM
Fully automatic assessment of programming exercises
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Experiences in automatic assessment on mass courses and issues for designing virtual courses
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Assessing the assessment of programming ability
Proceedings of the 35th SIGCSE technical symposium on Computer science education
The boss online submission and assessment system
Journal on Educational Resources in Computing (JERIC)
Automated assessment and experiences of teaching programming
Journal on Educational Resources in Computing (JERIC)
Improving host security with system call policies
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Review of recent systems for automatic assessment of programming assignments
Proceedings of the 10th Koli Calling International Conference on Computing Education Research
| Hi-index | 0.00 |
In computer science education, lectures are typically accompanied by exercise courses and/or lab practices are essential for the learning effect since they provide opportunities for students to apply their theoretical knowledge to practical problems. The automatic testing and assessment of assignments in a Web-based environment offers students more learning possibilities (e.g., time and location-independent) with immediate feedback and helps teachers to reduce their workload so they can concentrate on issues regarding content and didactics. In this paper we present a generic, flexible, and reusable Web-based system architecture and its implementation for automatic testing of programming assignments and assignments in other formal systems. We also describe our practical experience gathered with this approach in computer science courses at two different universities.