Compact Symbolic Execution.

Jiri Slaby, Jan Strejcek, Marek Trtk

Browse the full ATVA paper archive.