GitHub repository: tudo-aqua/dse
Primary language: Java
Description: DSE: a generic dynamic symbolic execution engine