Component verification with automatically generated assumptions. (2005)

by D Giannakopoulou, C Pasareanu, H Barringer
Venue:Autom. Softw. Eng.