GitHub repository: ksluckow/symexbib
Description: A bibliography of papers related to symbolic execution