Variable-misuse benchmarks contain many bugs that pytype or mypy can catch, and removing these from training improves neural bug detectors on the remaining harder bugs.
An empirical study on the correctness of formally verified distributed systems,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
Variable-misuse benchmarks contain many bugs that pytype or mypy can catch, and removing these from training improves neural bug detectors on the remaining harder bugs.