Caleb Priester, Yu-Shan Sun, Murali Sitaraman. Tool-Assisted Loop Invariant Development and Analysis. In 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016, Dallas, TX, USA, April 5-6, 2016. pages 66-70, IEEE, 2016. [doi]
Abstract is missing.