Afonso Caniço, André Santos. Witter: A Library for White-Box Testing of Introductory Programming Algorithms. In Molly Q. Feldman, Michael Hilton, editors, Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2023, Cascais, Portugal, 25 October 2023. pages 69-74, ACM, 2023. [doi]
Abstract is missing.