@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},
   series = {Lecture Notes in Computer Science},
   pages = {205--219},
   publisher = {Springer},
   year = {2011},
   category = {other-program-analyses},
   format = {pdf},
}