SmacC: A Retargetable Symbolic Execution Engine.

Armin Biere, Jens Knoop, Laura Kovcs, Jakob Zwirchmayr

Browse the full ATVA paper archive.