We’re hiring an assistant or associate professor in our programming languages and compiler group. Apply on-line at: https://www.ru.nl/en/working-at/job-opportunities/assistant-or-associate-professor-of-software-technology
Category: Software Education
Towards a Generic Model for Classifying Software into Correctness Levels and its Application to SQL
by Benard Wanjiru, Patrick van Bommel, and Djoerd Hiemstra
Automated grading systems can save a lot of time when carrying our grading of software exercises. In this paper, we present our ongoing work on a generic model for generating software correctness levels. These correctness levels enable partial grades of students’ software exercises. The generic model can be used as a foundation for correctness of SQL queries and can be generalized to different programming languages.
To be presented at the SEENG 2023 Workshop on Software Engineering for the Next Generation of the 45th International Conference on Software Engineering on Tuesday 16 May in Melbourne, Australia.