Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. - Kong, Soonho; Jung, Yungbum; David, Cristina; Wang, Bow-Yaw; Yi, Kwangkeun (2010)