Racing on the Negative Force: Efficient Vulnerability Root-Cause Analysis through Reinforcement Learning on Counterexamples
Published in In the proceedings of 33th USENIX Security Symposium (USENIX Security 24), 2024
Use Google Scholar for full citation
Recommended citation: Dandan Xu, Di Tang, Yi Chen, XiaoFeng Wang, Kai Chen, Haixu Tang, Longxing Li, "Racing on the Negative Force: Efficient Vulnerability Root-Cause Analysis through Reinforcement Learning on Counterexamples." In the proceedings of 33th USENIX Security Symposium (USENIX Security 24), 2024.