Educational Program Visualizations Using Synthetized Execution Information. - Rodrigo Mourato; André L. Santos 001 (ICPEC, 2024)