@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", volume = "6461", series = "Lecture Notes in Computer Science", pages = "328--343", year = "2010", publisher = "Springer" }