Towards a Generic Model for Classifying Software into Correctness Levels and its Application to SQL. - Benard Wanjiru; Patrick van Bommel; Djoerd Hiemstra (SEENG, 2023)