DySy: dynamic symbolic execution for invariant inference.

Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis

Browse the full ICSE paper archive.