constraint solving - Globe Thesis

Keyword [constraint solving] Result: 101 - 119 \| Page: 6 of 6
101.	Research On The Test Case Generation Of Taint Analysis For Android Application
102.	Research On Spatial Crowdsourcing Task Assignment Algorithm
103.	Research And Implementation Of Web Security Audit System Based On Graph Traversal
104.	Detection Of Program Vulnerability Based On Memory Access Trace
105.	Research And Design Of Class Testing Methods For Object-Oriented Programs
106.	Use of constraint solving for testing software product lines
107.	Graph and combinatorial algorithms for geometric constraint solving
108.	Extensible adaptation via constraint solving
109.	Research On Optimization Of Test Data Generation Based On Symbolic Execution
110.	Research On Optimization Approach Of Binary Program Analysis Technology For Vulnerability Discovery
111.	Research On Subgraph Isomorphism Constraint Solving Technology Based On Graph Representation Learning
112.	Research And Implementation Of Dynamic Taint Analysis Method Combined With Concolic Symbolic Execution
113.	Concurrency Error Detection For Mobile Application Based On Constraint Solving
114.	Research And Implementation Of Improved Fuzzing Method Based On Symbolic Execution
115.	A Clause Matching Based Approach To Reuse Constraint Solutions In Symbolic Execution
116.	Research And Implementation Of Automatic Warning Validation Based On Triggering Path Constraint Solving
117.	An Approach To Localize Concurrency Bugs Based On Constraint Solving
118.	Concurrency Error Detection For Android Application Based On Constraint Solving
119.	IO Example-based Code Search With Functional Semantics
<<First <Prev Next> Last>> Jump to