@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.}
}
