Login / Signup
SMT-based refutation of spurious bug reports in the clang static analyzer.
Mikhail Y. R. Gadelha
Enrico Steffinlongo
Lucas C. Cordeiro
Bernd Fischer
Denis A. Nicole
Published in:
ICSE (Companion Volume) (2019)
Keyphrases
</>
bug reports
source code
theorem prover
open source projects
data acquisition
software projects
theorem proving
statistical machine translation
high level
open source
maintenance activities
database
databases
machine learning
software maintenance
inductive inference