@inproceedings{gao2026mono, title = {Mono: Is Source Code Enough for Verification? Stratifying Patch-Mined Vulnerability Fixes by Context Sufficiency}, author = {Gao, Zeyu and Zhou, Junlin and He, Yi and Zhang, Bolun and Wang, Jialai and Zeng, Jiutian and Zhang, Chao}, booktitle = {RAID 2026}, year = {2026} }