SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.

Andreas Ibing

Browse the full SEFM paper archive.