Enhanced symbolic execution for patch testing and document recovery