1. 目前位置：

瀏覽 的方式： 關鍵字 Symbolic Execution

跳到： 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
或是輸入前幾個字：  
顯示 1 到 10 筆資料，總共 10 筆
公開日期標題作者
2013CRAXDroid: Android 下的自動化攻擊產生系統陳俊諺; Chen, Chun-yen; 黃世昆; 陳穎平; Huang, Shih-kun; Chen, Ying-ping; 資訊科學與工程研究所
2009利用迴圈特性加速靜態與動態程式分析李秉翰; Li, Bing-Han; 謝續平; Shieh, Shiuh-Pyng; 網路工程研究所
2016基於自動化符號執行資料源辨識之躲避型惡意程式分析陳鼎文; 謝續平; Chen, Ting-Wen; Shieh, Shiuh-Pyng; 資訊科學與工程研究所
2017基於蒙地卡羅樹搜尋法之符號執行路徑探索機制葉家郡; 黃世昆; Yeh, Jia-Jun; Huang, Shih-Kun; 資訊科學與工程研究所
2010操控程式輸入測試以自動產生系統攻擊資料黃世昆; HUANG SHIH-KUN; 國立交通大學資訊工程學系（所）
2012支援大型軟體測試之符號環境系統黃韋翔; Huang, Wei-Shiang; 黃世昆; Huang, Shih-Kung; 資訊科學與工程研究所
2017自動化脅迫生成設計與實作林政德; 黃世昆; Lin, Cheng-Te; Huang, Shin-Kun; 資訊科學與工程研究所
2011藉由選擇性符號操作執行之Android APPs隨性測試許基傑; Khor, Kee Kiat; 黃世昆; Huang, Shih Kun; 資訊科學與工程研究所
2016記憶空間釋放再利用之安全漏洞自動探索與發掘陳祐任; 謝續平; Chen, Yu-Jen; Shieh, Shiuh-Pyng; 資訊科學與工程研究所
2012跨平台 Web程式測試與攻擊產生系統劉歡; Liu, Huan; 黃世昆; Huang, Shih-Kun; 資訊科學與工程研究所
顯示 1 到 10 筆資料，總共 10 筆