Recent symbolic execution papers and tools. - View it on GitHub