Deriving a Symbolic Executor for Definitional Interpreters Suitable for the Study of Heuristics
L.A. Pîrcălăboiu (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Casper Bach Poulsen – Mentor (TU Delft - Programming Languages)
C.R. van der Rest – Mentor (TU Delft - Programming Languages)
K.G. Langendoen – Graduation committee member (TU Delft - Embedded Systems)
More Info
expand_more
Codebase of the symbolic executor defined in the paper.
https://github.com/laura-pircalaboiu/SymExOther than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
Recent years have seen a surge of interest for dynamic testing techniques, one of which is symbolic execution. It is the main point of interest of this research paper, in which we give an overview of a framework for symbolically executing definitional interpreters. We will also discuss techniques that we made use of in developing the symbolic execution framework. The context of this project is the automated grading and validation of student submissions, and the results and performance of our approach will also be reviewed and criticized.