Improving students' code correctness and test completeness by informal specifications. - Arno Broeders; Ruud Hermans; Sylvia Stuurman; Lex Bijlsma 001; Harrie Passier (CoRR, 2023)