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). Cascais, Portugal: Association for Computing Machinery.