@phdthesis{person::phd,
author = {Person, Suzette},
title = {Differential Symbolic Execution},
year = {2009},
month = aug,
address = {Lincoln, NE, USA},
school = {University of Nebraska - Lincoln}
}