@inproceedings{jpf_awt,
  title = "JPF-AWT: Model Checking GUI Applications",
  author = "Peter Mehlitz and Oksana Tkachuk and Mateusz Ujma",
  year = "2011",
  booktitle = "Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering",
}