Huang, Jin. "Building An Abstract-Syntax-Tree-Oriented Symbolic Execution Engine for PHP Programs." Master's thesis, Wright State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=wright1527358331843492Chicago Manual of Style (17th edition)