Announcement_31
Our paper “Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing” has been accepted to appear at ICSE 2027! Congrats to my amazing co-authors, Thaddy and Miryung!
Our paper “Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing” has been accepted to appear at ICSE 2027! Congrats to my amazing co-authors, Thaddy and Miryung!