A bibliography of papers related to symbolic execution - View it on GitHub