Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information.

Josselin Feist, Laurent Mounier, Marie-Laure Potet

Browse the full SEFM paper archive.