Announcement_22
Our paper “Cottontail: LLM-Driven Concolic Execution for Highly Structured Test Input Generation” has been accepted to appear at IEEE S&P 2026! Congratulations to the entire team!
Our paper “Cottontail: LLM-Driven Concolic Execution for Highly Structured Test Input Generation” has been accepted to appear at IEEE S&P 2026! Congratulations to the entire team!