Static Detection of Loop-Invariant Data Structures.

Guoqing Xu Dacong Yan Atanas Rountev

Published in: ECOOP (2012)

Keyphrases

data structure
automatic detection
object detection
false positives
detection algorithm
data sets
decision trees
detection rate
false alarms
detection accuracy
detection scheme
information retrieval
similarity measure
moving objects
detection method
dynamic analysis