Witter: A Library for White-Box Testing of Introductory Programming Algorithms - Caniço, Afonso; Santos, André (Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, 2023)