@misc{indiciae97fec56e2141, title = {Improving students' code correctness and test completeness by informal specifications}, author = {Arno Broeders and Ruud Hermans and Sylvia Stuurman and Lex Bijlsma and Harrie Passier}, year = {2023}, url = {https://arxiv.org/abs/2309.02221}, note = {Source identifier: 2309.02221} }