LLM-generated extremal tests, produced by first eliciting input validity constraints and then violating them, uncovered new bugs in mature network software implementations.
https: //datatracker.ietf.org/doc/html/rfc3986
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Extremal Testing for Network Software using LLMs
LLM-generated extremal tests, produced by first eliciting input validity constraints and then violating them, uncovered new bugs in mature network software implementations.