DocumentCode :
11713
Title :
Generation And Verification Of Software Robustness Properties Through Static Analysis
Author :
Jun Xu استاد راهنما , David Thuente استاد مشاور , Tao Xie استاد مشاور
University :
Virginia Polytechnic Institute and state University
Grade :
نامعلوم
Major :
Master of Science )Program Computer Science(
Number of pages :
0
Publish Date :
2006
Keyword :
AST , API , generic , FSA , properties , violations , static analysis , Concrete
Note :
01
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=11713
