Dynamic symbolic execution - Globe Thesis

Keyword [Dynamic symbolic execution] Result: 1 - 20 \| Page: 1 of 3
1.	Binary Code Vulnerability Mining System Research And Design Based On Dynamic Symbolic Execution
2.	A Dynamic Symbolic Execution Tool For X86 Binary Programs
3.	Research On A Codeanalysis Tool Based On Dynamic Symbolic Execution
4.	A Research On Key Technologies Of Dynamic Symbolic Execution
5.	The Design Of Performance Optimization For Dynamic Symbolic Execution
6.	Research On Methods Of Applying Fuzzing To Binary-programs Vulnerabilities Discovery
7.	Design And Implementation Of An Automated Testing Tool Based On Inter-Procedural Dynamic Symbolic Execution
8.	Research On Test Case Generation Based On Dynamic Symbolic Execution
9.	Research On Dynamic Program Analysis Technique For Software Security
10.	Dynamic Symbolic Execution With Segmented Analysis
11.	Research On Software Vulnerability Detection Automatically Based On Dynamic Symbolic Execution
12.	Optimization Of Constraint Solver For KLEE, A Dynamic Symbolic Execution Tool
13.	Research And Optimization On The Automated Test Case Generation System
14.	Research On Improvement And Extension Of The Linear Fitting Functions Based Solving Method For Complex Path Constraints
15.	Research And Design Of The Automated Instrumentation Based On CIL
16.	Research On Concolic Testing Based On Symbol Summary
17.	A Research On Key Technologies Of Concolic Testing
18.	Theory And Methodology Of Model Checking MSVL Programs Based On Dynamic Symbolic Execution
19.	The Data Race Detection And Replay Based On Instrumentation And Dynamic Symbolic Execution
20.	Research On Parallel Detection Method For Software Vulnerability
<<First <Prev Next> Last>> Jump to