GitHub repository: stuartly/driller
Primary language: Python
Description: Driller: augmenting AFL with symbolic execution!