Learning Assertions to Verify Linked-List Programs

Jan Tobias Mühlberg, David H. White 0001, Mike Dodds, Gerald Lüttgen, Frank Piessens. Learning Assertions to Verify Linked-List Programs. In Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Volume 9276 of Lecture Notes in Computer Science, pages 37-52, Springer, 2015. [doi]

Abstract

Abstract is missing.