Differential Symbolic Execution. door Suzette J. Person