@techreport{msthesis,
	author = {Pieter Hooimeijer},
	title = {Generating String Inputs using Constrained Symbolic Execution},
	institution = {University of Virginia, Department of Computer Science},
	year = {2008},
	type = {Master's Thesis},