-
document
-
Boon Alexaki, Philippos (author)
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...
bachelor thesis 2021
Source URL (retrieved on 2024-05-17 22:54): https://repository.tudelft.nl/islandora/search/subject%3A%22automatically%22?collection=education&%3Bf%5B0%5D=mods_subject_topic_ss%3A%22Boolean%22&%3Bf%5B1%5D=mods_subject_topic_ss%3A%22CityGML%22&%3Bf%5B2%5D=mods_subject_topic_ss%3A%22semantic%22&%3Bf%5B3%5D=mods_genre_s%3A%22master%5C%20thesis%22&%3Bf%5B4%5D=mods_subject_topic_ss%3A%22morphological%22&display=tud_default&f%5B0%5D=mods_name_personal_author_namePart_family_ss%3A%22Boon%5C%20Alexaki%22