Soonho Kong, yungbum Jung, Cristina David, Bow-yaw Wang, Kwangkeun yi. Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.
ASIAN Symposium on Programming Languages and Systems, Nov 2010, Shanghai, China.
⟨inria-00515166⟩