Print Email Facebook Twitter Deriving a Symbolic Executor for Definitional Interpreters Suitable for the Study of Heuristics Title Deriving a Symbolic Executor for Definitional Interpreters Suitable for the Study of Heuristics Author Pîrcălăboiu, Laura (TU Delft Electrical Engineering, Mathematics and Computer Science) Contributor Poulsen, C.B. (mentor) van der Rest, C.R. (mentor) Langendoen, K.G. (graduation committee) Degree granting institution Delft University of Technology Programme Computer Science and Engineering Project CSE3000 Research Project Date 2021-07-02 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. Subject Symbolic ExecutionProgramming LanguagesHaskellAutomated testingDefinitional Interpreter To reference this document use: http://resolver.tudelft.nl/uuid:5f308592-49ac-4395-985c-77f8c48a52f2 Bibliographical note https://github.com/laura-pircalaboiu/SymEx Codebase of the symbolic executor defined in the paper. Part of collection Student theses Document type bachelor thesis Rights © 2021 Laura Pîrcălăboiu Files PDF Deriving_a_Symbolic_Execu ... laboiu.pdf 187.76 KB Close viewer /islandora/object/uuid:5f308592-49ac-4395-985c-77f8c48a52f2/datastream/OBJ/view