LLM-generated extremal tests, produced by first eliciting input validity constraints and then violating them, uncovered new bugs in mature network software implementations.
https://en.wikipedia.org/wiki/Simplex_ algorithm
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
background 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.