TY  - RPRT
TI  - Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
AU  - Shravya Kanchi
AU  - Xiaoyan Zang
AU  - Ying Zhang
AU  - Danfeng Yao
AU  - Na Meng
PY  - 2026
UR  - https://arxiv.org/abs/2605.03956
ID  - 2605.03956
ER  -