A bibliography of papers related to symbolic execution