Skip to content

Agentic Concolic Execution.

Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury

VenueA*SP
Year2026
ProceedingsSP

Browse the full SP paper archive.