Learning Assertions to Verify Linked-List Programs. Mühlberg, J. T.; White, D. H.; Dodds, M.; Lüttgen, G.; and Piessens, F. In SEFM, volume 9276, of Lecture Notes in Computer Science, pages 37–52, 2015. Springer.
bibtex   
@inproceedings{DBLP:conf/sefm/Muhlberg0DLP15,
  author    = {Jan Tobias M{\"{u}}hlberg and
               David H. White and
               Mike Dodds and
               Gerald L{\"{u}}ttgen and
               Frank Piessens},
  title     = {Learning Assertions to Verify Linked-List Programs},
  booktitle = {{SEFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9276},
  pages     = {37--52},
  publisher = {Springer},
  year      = {2015}
}
Downloads: 0