Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software. - Shravya Kanchi; Xiaoyan Zang; Ying Zhang 066; Danfeng Yao; Na Meng 001 (CoRR, 2026)