@conference {194, title = {VERIGE: Verification with Invariant Generation Engine}, booktitle = {SPIN}, year = {2014}, publisher = {ACM}, organization = {ACM}, author = {Latorre, N. and Francesco Alberti and Natasha Sharygina} } @conference {165, title = {PINCETTE - Validating Changes and Upgrades in Networked Software}, booktitle = {17th European Conference on Software Maintenance and Reengineering}, year = {2013}, author = {Chockler, H. and Denaro, G. and Ling, M. and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Mariani, L. and Muhammad, A. and Oriol, M. and Rajan, A. and Sery, O. and Natasha Sharygina and Tautschnig, M.} }