@inproceedings{naumovich-avrunin-clarke:flavers-java,
  author =       "Gleb Naumovich and George S. Avrunin and Lori A.
                 Clarke",
  title =        "Data Flow Analysis for Checking Properties of
                 Concurrent {J}ava Programs",
  booktitle =    "Proceedings of the 21st International Conference on Software Engineering",
  year =         "1999",
  pages =        "399--410",
  month =        may,
}