控制流追踪练习的自动实例化
计算机科学中的逻辑
2022-02-09 v1
摘要
学习编程的第一步是阅读和追踪现有代码。为避免生成追踪练习变体这一易出错的任务，我们的工具Tatsu自动生成给定代码骨架的实例。这是通过以有界模型检查风格对程序进行有限展开，并使用SMT求解器Z3为该展开后的程序寻找模型来实现的。
引用
@article{arxiv.2202.03565,
title = {Automated Instantiation of Control Flow Tracing Exercises},
author = {Clemens Eisenhofer and Martin Riener},
journal= {arXiv preprint arXiv:2202.03565},
year = {2022}
}
备注
In Proceedings ThEdu'21, arXiv:2202.02144