Project title
形式化程式建構、分析、驗證之方法與應用-子計畫二:以進階的靜態分析與動態測試技術驗證網站應用程式(I)
Internal ID
101-2221-E-002-093-
Principal Investigator
Start Date
August 1, 2012
End Date
July 31, 2013
Partner Organizations
形式化程式建構、分析、驗證之方法與應用-子計畫二:以進階的靜態分析與動態測試技術驗證網站應用程式(I)
Keywords
抽象化解譯
抽象模型細步化
自動驗證
動態分析
動態測試
模型檢測
安全弱點
軟體安全
字串分析
靜態分析
網站應用
Abstract Interpretation
Abstraction Refinement
Automatic Verification
Dynamic Analysis
Dynamic Testing
Model Checking
Security Vulnerabilities
Software Security
Static Analysis
String Analysis
Web Applications