Assumption Generation for Software Component Verification

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer