Racing on the Negative Force: Efficient Vulnerability Root-Cause Analysis through Reinforcement Learning on Counterexamples

Download PDF
Open Webpage

Dandan Xu, Di Tang, Yi Chen, XiaoFeng Wang, Kai Chen, Haixu Tang, Longxing Li

Published: 2024, Last Modified: 15 Jan 2026USENIX Security Symposium 2024EveryoneRevisionsBibTeXCC BY-SA 4.0