DySy: dynamic symbolic execution for invariant inference. In (2008)

by C Csallner, N Tillmann, Y Smaragdakis
Venue:ICSE,