Symbolic Execution with CEGAR.

Dirk Beyer, Thomas Lemberger

Browse the full ISoLA paper archive.