Dealing with Symbolic File Input by Regular Constrained Symbolic Execution
碩士 === 國立交通大學 === 資訊科學與工程研究所 === 99 === Software testing is an important procedure of software development process, and symbolic testing is one of the most important techniques in the domain of software testing. If we can handle symbolic testing with file level, we can process testing directly via s...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2010
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/16632277040487812020 |