Modular Pluggable Analyses for Data Structure Consistency.

Viktor Kuncak Patrick Lam Karen Zee Martin C. Rinard

Published in: IEEE Trans. Software Eng. (2006)

Keyphrases

data structure
efficient data structures
data types
statistical analysis
suffix tree
maintaining consistency
quadtree
modular structure
insertions and deletions
dependency graph
comparative analysis
statistical tests
neural network
r tree
main memory
itemsets
digital libraries
information systems