AProf Timothy Miller, Prof Harald Christian SondergaardEMAN MOHAMMED SALEM ALATAWI2022-05-192022-05-1938273https://drepo.sdl.edu.sa/handle/20.500.14154/11532Dynamic Symbolic Execution with Descriptive and Prescriptive RelationsThesis