DoubleTake: Fast and Precise Error Detection via Evidence-Based Dynamic Analysis.
Tongping LiuCharlie CurtsingerEmery D. BergerPublished in: CoRR (2016)
Keyphrases
- error detection
- dynamic analysis
- static analysis
- error correction
- reverse engineering
- error recovery
- data cleansing
- error correcting
- fault tolerance
- error resilient
- fault isolation
- source code
- databases
- error control
- malicious behavior
- database systems
- artificial intelligence
- machine learning
- neural network
- model checking
- case study