A. M. Caniço and A. L. Santos,  "Witter: A library for white-box testing of introductory programming algorithms", in SPLASH-E 2023: Proc. of the 2023 ACM SIGPLAN Int. Symp. on SPLASH-E, Feldman, M. Q., and Hilton, M., Ed., Cascais, Portugal, Association for Computing Machinery, 2023, pp. 69-74