@InProceedings{GFMFZ-HVC14-DynaMate, author = {Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller}, title = {{D}yna{M}ate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification}, booktitle = {Proceedings of the 10th Haifa Verification Conference (HVC)}, year = {2014}, editor = {Eran Yahav}, series = {Lecture Notes in Computer Science}, pages = {48--53}, volume = {8855}, month = {November}, publisher = {Springer}, note = {Tool paper}, urltopdf = {/people/furia/pubs/hvc14-dynamate.pdf} }