Shannon, Hajra, Lee, Zhan, Khurshid, 2007. Abstracting Symbolic Execution with String Analysis, in: . IEEE.. https://doi.org/10.1109/taicpart.2007.4344094