Towards an automatic exploit pipeline. - Jared D. DeMott; Richard J. Enbody; William F. Punch III (ICITST, 2011)

Systematic bug finding and fault localization enhanced with input data tracking. - Jared D. DeMott; Richard J. Enbody; William F. Punch (Comput. Secur., 2013)