@InProceedings{WiesETAL06FieldConstraintAnalysis,
  author =       {Thomas Wies and Viktor Kuncak and Patrick Lam and Andreas Podelski and Martin Rinard},
  title =        {Field Constraint Analysis},
  booktitle =      {Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation},
  year =         {2006},
  pages =        {157--173}
}