@conference{JuLeWaYi-TACAS-2011,
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 = {The 17th International Conference on Tools and Algorithms For The Construction and Analysis of Systems(TACAS'11)},
year = {2011}
}