Eisenhofer, C., & Riener, M. (2022). Automated Instantiation of Control Flow Tracing Exercises. In J. Marcos, W. Neuper, & P. Quaresma (Eds.), Proceedings 10th International Workshop on Theorem Proving Components for Educational Software (pp. 43–58). EPTCS. https://doi.org/10.4204/EPTCS.354.4
10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021
en
Event date:
11-Jul-2021
-
Event place:
Pittsburgh, United States of America (the)
-
Number of Pages:
16
-
Publisher:
EPTCS
-
Keywords:
Education; Tracing; Exercise Generation; Satisfiability Modulo Theories; Bounded Model Checking
en
Abstract:
One of the first steps in learning how to program is reading and tracing existing code. In order to avoid the error-prone task of generating variations of a tracing exercise, our tool TATSU generates instances of a given code skeleton automatically. This is achieved by a finite unwinding of the program in the style of bounded model checking and using the SMT solver Z3 to find models for this unwinded program.
en
Research Areas:
Mathematical and Algorithmic Foundations: 80% Computational System Design: 20%
CC BY-SA 4.0
