Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software (ArXiv cs.CR Recent Papers, 2026)