Text this: Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software