DITTO: automatic incrementalization of data structure invariant checks (in Java).

Ajeet Shankar Rastislav Bodík

Published in: PLDI (2007)

Keyphrases

data structure
semi automatic
data driven
source code
fully automatic
programming language
open source
quadtree
suffix tree
database
data sets
information retrieval
image sequences