Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets.

Bernard Blackham Mark H. Liffiton Gernot Heiser

Published in: RTAS (2014)

Keyphrases

automated analysis
detection method
unsatisfiable cores
semi automated
detection algorithm
false alarms
neural network
detection accuracy
false positives
event detection
detection rate
shortest path
anomaly detection
object detection
change detection
automatic detection
fully automated
detection scheme
data sets