Combining Static and Dynamic Reasoning for Bug Detection.
Yannis SmaragdakisChristoph CsallnerPublished in: TAP (2007)
Keyphrases
- knowledge base
- detection algorithm
- automatic detection
- object detection
- detection accuracy
- false positives
- event detection
- data sets
- detection method
- detection rate
- detection scheme
- reasoning process
- automated reasoning
- probabilistic reasoning
- false alarms
- knowledge representation
- multi agent
- computer vision
- data mining