@misc{indiciaed6270952fcfa, title = {Automated Instantiation of Control Flow Tracing Exercises}, author = {Clemens Eisenhofer and Martin Riener}, year = {2022}, doi = {10.4204/eptcs.354.4}, url = {https://arxiv.org/abs/2202.03565}, note = {Source identifier: 2202.03565} }