DoubleTake: fast and precise error detection via evidence-based dynamic analysis.
Tongping LiuCharlie CurtsingerEmery D. BergerPublished in: ICSE (2016)
Keyphrases
- error detection
- dynamic analysis
- static analysis
- reverse engineering
- error correction
- error recovery
- error correcting
- data cleansing
- fault tolerance
- model checking
- error resilient
- fault isolation
- malicious behavior
- error control
- source code
- neural network
- query evaluation
- software engineering
- sensor networks
- xml documents
- case study
- knowledge base
- databases