Caniço, A., & Santos, A. (2023). Witter: A Library for White-Box Testing of Introductory Programming Algorithms [Conference paper]. Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, 69–74. https://doi.org/10.1145/3622780.3623650