LLM-generated extremal tests, produced by first eliciting input validity constraints and then violating them, uncovered new bugs in mature network software implementations.
https://www.boost.org
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 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.