Symbolic Execution - Globe Thesis

Keyword [Symbolic Execution] Result: 1 - 20 \| Page: 1 of 10
1.	Improving The Scalability And Feasibility Of Symbolic Execution
2.	Research On Key Techniques Of Multithreaded Program Verification For Atomicity Of Correlated Variables
3.	Research On Code Obfuscation Model
4.	Research On Key Techniques In Dynamic Software Defect Test- Ing
5.	Research On An Uniformed Control-flow Based Software Testing Coverage Criteria And Symbolic Execution Guidance
6.	Detection And Diagnosis Of Program Vulnerability In Java Language
7.	Research On Code Obfuscation And Its Semantics
8.	Demand-driven Automated Test Generation For Software Security Defects
9.	Incremental Detection Method For Memory Access Overrun In Multi-loop Programs
10.	The Study Of Theory And Technology Of Testing Using TTCN-3
11.	The Research Of Partitioned Symbolic Execution Model And Its Environment Interaction Problem
12.	Automated Loop Invariant Generation For Program Verification
13.	A Program Verification And Testing Tool Based On Symbolic Execution And Constraint Solving
14.	Static Analysis Of Pointer-related Path With Variable Relationship Graph And Symbolic Execution
15.	A Symbolic Execution Tool Based On Program Analysis Tree
16.	Reverse Static Analysis Of Executable Program Guided By Sematic Analysis Of Versions
17.	Unit Testing Of C Language Study And Implementation Based On Symbolic Execution
18.	Symbolic Execution Based Dynamic Taint Analysis On Binary Code
19.	Study And Application Of Unit Testing Based On Symbolic Execution And Genetic Algorithm
20.	Research On Summary Based Vulnerability Detection Of Binary Code
<<First <Prev Next> Last>> Jump to