Witter: A Library for White-Box Testing of Introductory Programming Algorithms. - Afonso B. Caniço; André L. Santos 001 (SPLASH-E, 2023)

A Domain-Specific Language for Dynamic White-Box Evaluation of Java Assignments. - Afonso B. Caniço; André L. Santos 001 (ICPEC, 2024)