Combining Symbolic Execution with Predicate Abstraction and CEGAR.

Martin Jons, Jan Strejcek, Alberto Griggio

Browse the full FMCAD paper archive.