Differential Symbolic Execution. by Suzette J. Person