LLM-generated extremal tests, produced by first eliciting input validity constraints and then violating them, uncovered new bugs in mature network software implementations.
https://leda.uni- trier.de/leda/guide/graph_algorithms/check_sp.html
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.