<div class="csl-bib-body">
<div class="csl-entry">Eisenhofer, C., & Riener, M. (2022). Automated Instantiation of Control Flow Tracing Exercises. In J. Marcos, W. Neuper, & P. Quaresma (Eds.), <i>Proceedings 10th International Workshop on Theorem Proving Components for Educational Software</i> (pp. 43–58). EPTCS. https://doi.org/10.4204/EPTCS.354.4</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/175702
-
dc.description.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
dc.language.iso
en
-
dc.relation.ispartofseries
Electronic Proceedings in Theoretical Computer Science (EPTCS)
-
dc.rights.uri
http://creativecommons.org/licenses/by-sa/4.0/
-
dc.subject
Education
en
dc.subject
Tracing
en
dc.subject
Exercise Generation
en
dc.subject
Satisfiability Modulo Theories
en
dc.subject
Bounded Model Checking
en
dc.title
Automated Instantiation of Control Flow Tracing Exercises
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Attribution-ShareAlike 4.0 International
en
dc.rights.license
Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International
