Symbolic Execution Debugger (SED).

Martin Hentschel, Richard Bubel, Reiner Hhnle

Browse the full RV paper archive.