Browsing by Author Chen, Wei-Ning
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Jan-2018 | Dynamic Path Pruning in Symbolic Execution | Chen, Ying-Shen; Chen, Wei-Ning; Wu, Che-Yu; Hsiao, Hsu-Chun; Huang, Shih-Kun; 資訊工程學系; Department of Computer Science |