Feature interaction detection by pairwise analysis of LTL properties - A case study.

Muffy Calder Alice Miller

Published in: Formal Methods Syst. Des. (2006)

Keyphrases

pairwise
automatic analysis
false alarms
similarity measure
object detection
statistical analysis
anomaly detection
search algorithm
data analysis
automatic detection
semi supervised
detection rate
false positives
human computer interaction
neural network
image analysis
feature vectors
social networks
data mining