@Article{KuncakETAL06ModularPluggableAnalysesDataStructureConsistency,
  author =       {Viktor Kuncak and Patrick Lam and Karen Zee and Martin Rinard},
  title =        {Modular Pluggable Analyses for Data Structure Consistency},
  journal =      {Transactions on Software Engineering},
  year =         {2006},
  volume =       {32},
  number =       {12},
  pages =        {988--1005},
  month =        {December}
}