Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Dynamic symbolic execution for polymorphism
Demand-driven compositional symbolic execution
Steering symbolic execution to less traveled paths
A Symbolic Execution Framework for JavaScript
Efficient symbolic execution for analysing cryptographic protocol implementations
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
A hybrid symbolic execution assisted fuzzing method
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Symbolic execution of programmable logic controller code
Practical partial evaluation for high-performance dynamic language runtimes
Semantics of memory management for polymorphic languages
Combining symbolic execution and model checking for data flow testing
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software
SymNet: Scalable symbolic execution for modern networks
Combining symbolic execution with model checking to verify parallel numerical programs
Symbolic Execution of Obfuscated Code
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
Joint Prediction of Topics in a URL Hierarchy
The SLAM project: debugging system software via static analysis
Circumstances and outcomes of falls among high risk community-dwelling older adults
A Survey of Inverse Reinforcement Learning: Challenges, Methods and Progress
Next Basket Recommendation with Neural Networks