Caniço, A. B. & Santos, A. L. (2023). Witter: A library for white-box testing of introductory programming algorithms. In Feldman, M. Q., and Hilton, M. (Ed.), SPLASH-E 2023: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E (pp. 69?74). Association for Computing Machinery. https://doi.org/10.1145/3622780.3623650