@inproceedings{WeitzKSEDEMO-2014,
  author = {Konstantin Weitz and Siwakorn Srisakaokul and Gene Kim and
    Michael D. Ernst},
  title = {A Format String Checker for Java},
  booktitle = {ISSTA 2014, Proceedings of the 2014 International Symposium on
    Software Testing and Analysis},
  pages = {441--444},
  address = {San Jose, CA, USA},
  month = {July~23--25,},
  year = {2014}
}