Logic Bug Detection and Localization Using Symbolic Quick Error Detection.
Eshan SinghDavid LinClark W. BarrettSubhasish MitraPublished in: CoRR (2017)
Keyphrases
- error detection
- error correction
- error recovery
- data cleansing
- fault tolerance
- error correcting
- error control
- accurate localization
- fault isolation
- error resilient
- object detection
- high level
- detection algorithm
- detection method
- distributed systems
- open source
- reliable detection
- digital libraries
- artificial intelligence