pith. sign in

Eywa: Automating model based testing using llms.arXiv preprint arXiv:2312.06875, 2023

Rajdeep Mondal, Rathin Singha, Todd Millstein, George Varghese, Ryan Beckett, Siva Kesava Reddy Kakarla · 2023 · arXiv 2312.06875

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
read on arXiv browse 1 citing papers

fields

cs.NI 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs

cs.NI · 2026-06-28 · unverdicted · novelty 6.0

CornerCase automates extremal testing of protocol implementations by using LLMs to extract validity constraints from specs and generating boundary test cases, uncovering 42 anomalies (26 acknowledged as bugs) in HTTP, DNS, BGP, SMTP, and QUIC implementations.

citing papers explorer

Showing 1 of 1 citing paper.

  • CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs cs.NI · 2026-06-28 · unverdicted · none · ref 49

    CornerCase automates extremal testing of protocol implementations by using LLMs to extract validity constraints from specs and generating boundary test cases, uncovering 42 anomalies (26 acknowledged as bugs) in HTTP, DNS, BGP, SMTP, and QUIC implementations.