Mayhem

[Google Scholar]

Notes: symbolic execution, binary analysis, automatic exploit generation, hybrid testing
Papers: cha:sandp:2012

Mayhem is a hybrid testing tool that combines concrete execution with symbolic execution tool for binary analysis that performs automatic exploit generation.