Machine Learning-based Path Exploration for Symbolic Execution
碩士 === 國立交通大學 === 網路工程研究所 === 106 === With the diversity of information services, software architecture is becoming complicated, and the software system must rely on automatic testing to identify potential problems. One of the automated testing methods is symbolic execution. Symbol execution is a dy...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2017
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/app4hx |