„dynamic symbolic execution“
Suchergebnisse
18 Treffer
-
Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging
-
Optimal Concolic Dynamic Partial Order Reduction
-
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
-
10161 Abstracts Collection – Decision Procedures in Software, Hardware and Bioware
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
-
DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution
-
Abstract Interpretation, Symbolic Execution and Constraints
-
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
-
Energy Efficient High Performance Processors – Recent Approaches for Designing Green High Performance Computing
-
Runtime Verification – 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
-
Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson"
-
The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis
-
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
-
Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
-
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution
-
Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation
-
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic