Print Email Facebook Twitter Concolic Execution for Testing Definitional Interpreters Title Concolic Execution for Testing Definitional Interpreters Author Boon Alexaki, Philippos (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Software Technology) 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 Definitional interpreters are difficult to test with a pre-defined test suite. This paper tries to determine the effectiveness of automatic testing of definitional interpreters, using concolic execution. First we develop a model for concolic execution of a functional language. Then we identify different categories of common mistakes when writing interpreters and test which are caught by concolic execution. We find that while concolic execution is promising, as it can find counterexamples for most errors in a small language, the model developed in this paper is not sufficient to generate counterexamples for more complicated languages. Subject interpretersconcolic executionautomatic testingfunctional programming To reference this document use: http://resolver.tudelft.nl/uuid:a7d9880c-9e60-463f-9c35-277c096bf9e0 Bibliographical note https://gitlab.ewi.tudelft.nl/cse3000-auto-test/concolic-execution Part of collection Student theses Document type bachelor thesis Rights © 2021 Philippos Boon Alexaki Files PDF paper.pdf 105.26 KB Close viewer /islandora/object/uuid:a7d9880c-9e60-463f-9c35-277c096bf9e0/datastream/OBJ/view