DASE: Document-Assisted Symbolic Execution for Improving Automated Test Generation