Implementation of Intraprocedural Symbolic Execution
碩士 === 國立中正大學 === 資訊工程研究所 === 107 === Symbolic execution is a program analysis technique for software testing and bug finding, which uses symbols instead of concrete values as program inputs. The input symbols can represent arbitrary values. The program is executed as in a normal execution excep...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2019
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/p7sc8y |