Modular bug detection with inertial refinement.

Published in: FMCAD (2010)

Keyphrases

detection accuracy
detection algorithm
detection method
automatic detection
object detection
false positives
real time
source code
anomaly detection
software systems
detection rate
oil spill
detection scheme
false alarms
mobile robot
face recognition
information retrieval