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