| - DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller, In Proceedings of the 10th Haifa Verification Conference (HVC) (Eran Yahav, ed.), Springer, volume 8855, 2014. [pdf]
[bib]
|
