@inproceedings{JuLeWaYi11,
  author = "Yungbum Jung and Wonchan Lee and Bow-Yaw Wang and Kwangkeun Yi",
  title = "Predicate Generation for Learning-Based Quantifier-free Loop Invariant Inference",
  booktitle = "TACAS 2011: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  volume = "6605",
  series = "Lecture Notes in Computer Science",
  pages = "205--219",
  year = "2011",
  publisher = "Springer"
}