Dynamic symbolic execution - Globe Thesis

Keyword [Dynamic symbolic execution] Result: 21 - 40 \| Page: 2 of 3
21.	Software Performance Defect Discovery Based On Dynamic Symbol Execution Technology
22.	Research And Implementation Of Path Search Strategy In Dynamic Symbolic Execution
23.	Research And Implementation Of Program Instrumentation In Dynamic Symbolic Execution
24.	PHP-based Web Vulnerability Discovery Research
25.	Research On Fuzz Testing Method Based On Dynamic Symbolic Execution
26.	Research And Implementation On Pipelined Symbolic Execution
27.	A Research Of Visualization For Binary Dynamic Symbolic Execution
28.	Research And Implementation Of Divergences Analysis Based On Dynamic Symbolic Execution
29.	Dynamic Symbolic Execution Based SSL/TLS Checking
30.	Research On Detection Of Cross-site Scripting Vulnerabilities
31.	Dynamic Symbolic Execution Constraints Solver Optimization Design And Implementation
32.	Research On The Automatic Exploit Generation Method Of Binary Programs
33.	Perspectives On Search Strategies In Automated Test Input Generation
34.	Research And Implementation Of Automated Testing For IEC 61131-3 ST Language
35.	The Research Of Path Exploring Strategy Of Dynamic Symbolic Execution
36.	Symbolic Execution Based Method To Bypass Sandbox Evasion Techniques Used By APT
37.	Research On Dynamic Detection Method Of Control Flow Hijacking Attack
38.	Research On Constraint Optimization Based On Piecewise Dynamic Symbolic Execution
39.	Research On Symbol Execution Coverage Optimization Technology
40.	Context and Precondition-Guided Search strategies in dynamic symbolic execution
<<First <Prev Next> Last>> Jump to