Efficient incremental algorithms for dynamic detection of likely invariants.

Jeff H. Perkins Michael D. Ernst

Published in: SIGSOFT FSE (2004)

Keyphrases

incremental algorithms
object detection
dynamic environments
false positives
detection accuracy
computationally expensive
multi dimensional
context aware
detection algorithm
database
event detection
automatic detection
detection method
incremental update
cost effective
objective function
data sets