agnosticlines/symexbib

A bibliography of papers related to symbolic execution