Interpolation Methods for Symbolic Execution - CHU DUC HIEP (2013)
Ph.D