@inproceedings{KoJuDaWaYi10,
   author = {Soonho Kong and Yungbum Jung and Cristina David and Bow-Yaw Wang and Kwangkeun Yi},
   title = {Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates},
   booktitle = {APLAS 2010: 8th Asian Symposium on Programming Languages and Systems},
   series = {Lecture Notes in Computer Science},
   pages = {328--343},
   publisher = {Springer},
   year = {2010},
   category = {other-program-analyses},
   format = {pdf},
}