Extremal Testing for Network Software using LLMs. - Rathin Singha; Harry Qian; Srinath Saikrishnan; Tracy Zhao; Ryan Beckett; Siva Kesava Reddy Kakarla; George Varghese (CoRR, 2025)