Font Size:
a
A
A
Keyword [Symbolic Execution]
Result: 21 - 40 | Page: 2 of 10
21.
Binary Code Vulnerability Mining System Research And Design Based On Dynamic Symbolic Execution
22.
Investigation And Implementation Of Vulnerability Analysis Method And Correspondent Test Data Generating System For Binary Code
23.
Analysis And Testing Of Web Services Choreography Description Language
24.
Research On Path Space Reduction In Automated Unit Test
25.
Parallel Dynamic Test Generation
26.
Research And Implementation Of Symbolic Execution Technology For Host-Oriented Embedded Software
27.
Research On Dynamic Generation Of Fuzzing Test Cases Based On Symbolic Execution
28.
Based On The Path Symbolic Execution Data Analysis
29.
Binary Code Security Analysis
30.
A Dynamic Symbolic Execution Tool For X86 Binary Programs
31.
Research On A Codeanalysis Tool Based On Dynamic Symbolic Execution
32.
Research On Testing Technology Of Binary Program Based On Coverage Of Critical Path
33.
Research And Implementation For Method Of Component Regression Testing
34.
Research On Key Technologies Of Malicious Code Binary Program Behavior Analysis
35.
Research On Memory Modeling Based Automatic Test Data Generation Technique
36.
A Research On Key Technologies Of Dynamic Symbolic Execution
37.
Design And Implementation Of A Concolic-Testing Tool
38.
The Designment Of C/C++Source Code Static Detecting System
39.
Research And Implementation Of Vulnerability Detection System Based On Symbolic Execution
40.
Path Feasibility Detection Using Symbolic Execution And Data Mining
<<First
<Prev
Next>
Last>>
Jump to
