MultiSE: multi-path symbolic execution using value summaries
The S2E Platform: Design, Implementation, and Applications