New Path Exploration in Symbolic Execution Based on Longer-Path-First Principle
碩士 === 國立臺北科技大學 === 資訊工程系研究所 === 105 === Symbolic Execution is a binary analysis technique that is often used for software testing and software security. One of the challenge is how to efficiently explore higher code coverage in real-world programs. Subpath-Guided Search is the best among existing e...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2017
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/v2et87 |