Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.
Ajith K. JohnBabita SharmaA. K. BhattacharjeeS. D. DhodapkarS. RameshPublished in: SAFECOMP (2007)
Keyphrases
- false alarms
- automatic detection
- object detection
- database languages
- false positives
- functional programs
- detection accuracy
- detection algorithm
- object oriented
- expert systems
- explanation based learning
- intrusion detection
- anomaly detection
- change detection
- case study
- error detection
- automated detection
- decision trees
- social networks