DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Symbolic execution
Symbolic execution
Chopped Symbolic Execution
Advanced Systems Security: Symbolic Execution
Test Generation Using Symbolic Execution
Symstra: a Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Learning to Accelerate Symbolic Execution Via Code Transformation
Formally Verifying Webassembly with Kwasm
Symbolic Execution for Software Testing: Three Decades Later
Dynamic Symbolic Execution for Polymorphism
Automated Software Testing Using Symbolic Execution
Automatic Unit Test Generation and Execution for Javascript Program Through Symbolic Execution
Regular Property Guided Dynamic Symbolic Execution
Parallel Symbolic Execution for Automated Real-World Software Testing
Test Generation Using Symbolic Execution
Discovering Vulnerabilities in Webassembly with Code Property Graphs
Directed Automated Memory Performance Testing
Symbolic Execution for Javascript
A Segmented Memory Model for Symbolic Execution
Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces
Top View
Fuzzing Symbolic Expressions
Deepfuzzer: Accelerated Deep Greybox Fuzzing
Automata Learning for Symbolic Execution
The Future of Grey-Box Fuzzing
Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing and Security Analysis
Compositional Fuzzing Aided by Targeted Symbolic Execution
Introduction to Program Testing
Symbolic Execution Enhanced System Testing
Demand-Driven Compositional Symbolic Execution
Automatic Grey-Box Fuzzing for Structured Binary Formats
Deepstate: Symbolic Unit Testing for C and C++
A Symbolic Execution Framework for Javascript
Symbolic Execution with Symcc: Don't Interpret, Compile!
Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
Combining Symbolic Execution and Model Checking for Data Flow Testing
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency
Dynamic Symbolic Execution
Relational Symbolic Execution in Webassembly
Incremental Symbolic Execution
Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Selective Symbolic Execution
Javert 2.0: Compositional Symbolic Execution for Javascript
Spejs: a Symbolic Partial Evaluator for Javascript
A Survey of Symbolic Execution Techniques
Grey-Box Concolic Testing on Binary Code
DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing
Automatic Testing of Symbolic Execution Engines Via Program Generation and Differential Testing
Mining the Hard-To-Reach Software Vulnerabilities Through the Target-Oriented Hybrid Fuzzer
Directed Symbolic Execution
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Generalized Symbolic Execution for Model Checking and Testing
Symbolic Execution for Software Testing in Practice – Preliminary Assessment
Constraint Programming for Dynamic Symbolic Execution of Javascript
Symjs: Automatic Symbolic Testing of Javascript Web Applications