Eman Alatawi. Dynamic Symbolic Execution with Descriptive and Prescriptive Relations. PhD thesis, University of Melbourne, Parkville, Victoria, Australia, 2019. [doi]
@phdthesis{basesearch-10278,
title = {Dynamic Symbolic Execution with Descriptive and Prescriptive Relations},
author = {Eman Alatawi},
year = {2019},
url = {https://www.base-search.net/Record/942964a2c79bac0f84dda4e2b235c8d3152247e5423fcaa321db4c1d43a50056},
note = {base-search.net (ftumelbourne:oai:jupiter.its.unimelb.edu.au:11343/227662)},
researchr = {https://researchr.org/publication/basesearch-10278},
cites = {0},
citedby = {0},
school = {University of Melbourne, Parkville, Victoria, Australia},
}