论文笔记 Automatic Unit Test Generation and Execution for JavaScript Program through Symbolic Execution 04-16