Skip navigation
DSpace
機構典藏 DSpace 系統致力於保存各式數位資料(如:文字、圖片、PDF)並使其易於取用。
點此認識 DSpace
English
中文
瀏覽論文
校院系所
出版年
作者
標題
關鍵字
搜尋 TDR
授權 Q&A
幫助
我的頁面
接受 E-mail 通知
編輯個人資料
NTU Theses and Dissertations Repository
瀏覽 的方式: 作者 王凡(Farn Wang)
跳到:
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
或是輸入前幾個字:
排序方式:
標題
出版年
排序方式:
升冪排序
降冪排序
結果/頁面
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
作者/紀錄:
全部
1
5
10
15
20
25
30
35
40
45
50
顯示 4 到 23 筆資料,總共 50 筆
< 上一頁
下一步 >
出版年
標題
作者
系所
2010
串列處理程式之適應性測試判定器建置
Adaptive test oracle construction for list processing programs
Kai-Hsiang Chang; 張凱翔
電機工程學研究所
2010
交互時態邏輯公式之即時模型驗證與策略建立
On-the-Fly Strategy Construction in ATL Model-Checking
Hsi-Ming Ho; 何熙明
電機工程學研究所
2016
以PAC安全性保證實作程式測試
Program Testing with PAC Guarantees
Tsung-Ju Lii; 李宗儒
電子工程學研究所
2015
以不變量為基底的安卓應用程式測試準則
Invariant Based Test Oracle Construction for Android Apps
Tsung-Yau Chen; 陳宗堯
電子工程學研究所
2011
以模型為基礎的圖形介面測試自動化技術
Model-Based Automated GUI Testing Techniques
Shu-Fen Li; 李淑芬
電機工程學研究所
2015
以程式變換方法協助程式分析器驗證遞迴程式
Verifying Recursive Program via Source-to-Source Program Transformation
Chiao Hsieh; 謝橋
電子工程學研究所
2007
以自動機理論發展之最小模型修復技術
Minimum Model Repair with an Automata-Theoretical Approach
Chih-Hong Cheng; 鄭志弘
電機工程學研究所
2015
使用主動學習法建構網頁程式之測試準則
Constructing Test Oracle for Web Applications with Active Learning Techniques
Ting-Fen Wu; 吳庭棻
電機工程學研究所
2008
使用分歧模擬技術的狀態轉換系統之錯誤定位
Fault Localization of State Transition Systems with Branching Simulation
Ying-Chih Wang; 王映智
電子工程學研究所
2017
使用者友善之檢視及執行器對安卓應用程式之測試
User-Friendly Trace Viewer & Executer for Android Apps Testing
Jiun-Hao Lin; 林俊豪
電機工程學研究所
2011
具備多重學習分類器的智慧型軟體測試
Intelligent Software Testing with Multiple Learning Classifiers
Jhe-Jhang Jhan; 詹哲彰
電機工程學研究所
2010
利用shell指令和人為的修改操作進行系統程式的測試
Testing System Software with Shell Commands and User-Assistance
Kung-Hung Cheng; 鄭功宏
電機工程學研究所
2010
利用Sikuli進行以模型為基礎的圖形介面測試
Model-Based GUI Testing Using Sikuli
Kuo-Chiao Huang; 黃國僑
電機工程學研究所
2010
利用基因演算法挑選測試案例於系統核心模型上覆蓋率分析
Application of Genetic Algorithm on Test Case Selection against State Coverage of Kernel Code
Tzu-Hsiang Lin; 林子翔
電子工程學研究所
2020
利用深度學習技術自動化決定畫面元素主題
Automatic Topic Determination for Screen Elements Using Deep Learning Techniques
Ta-Jung Cheng; 鄭大容
電子工程學研究所
2011
利用類神經網路與程式片段技術之回歸測試
Regression testing based on neural networks and program slicing techniques
Ya-Lan Yang; 楊雅蘭
電子工程學研究所
2007
可設定之行動電話模擬器中待測軟體的剖繪與TTCN-3轉接器的建置
SUT Profiling and TTCN-3 Adaptor Construction for A Configurable Mobile Phone Simulator
Ming-Chang Tung; 董明昌
電機工程學研究所
2016
"合作, 競爭關係以及密集錯誤回復力的模型驗證"
Model Checking Collaboration,Competition and Dense Fault Resilience
Chung-Hao Huang; 黃重豪
電子工程學研究所
2015
在安卓系統下黑箱測試之來源碼層次涵蓋率技術
Source-Level Coverage Techniques for the Black-box Testing of Android Apps
Chia-Hao Yeh; 葉家豪
電機工程學研究所
2020
基於AQuA之自動化安卓使用者體驗測試
AQuA User Experience Test Report Generation for Android Application
Kuan-Pu Chen; 陳冠甫
電子工程學研究所