Learning Assertions to Verify Linked-List Programs.

Jan Tobias Mhlberg, David H. White, Mike Dodds, Gerald Lttgen, Frank Piessens

Browse the full SEFM paper archive.