TY  - RPRT
TI  - CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs
AU  - Rathin Singha
AU  - Kuan Qian
AU  - Srinath Saikrishnan
AU  - Tracy Zhao
AU  - Soheil Abbasloo
AU  - Ryan Beckett
AU  - Siva Kesava Reddy Kakarla
AU  - Todd Millstein
AU  - George Varghese
PY  - 2026
UR  - https://arxiv.org/abs/2606.29124
ID  - 2606.29124
ER  -