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:
CoRR (2018)
Keyphrases
</>
software systems
bug reports
source code
maintenance activities
software projects
software artifacts
software maintenance
open source projects
software engineering
open source
theorem proving
theorem prover
inductive inference
data acquisition
lightweight
data integration
statistical machine translation
databases