Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach
Automated Whitebox Fuzz Testing
In-memory fuzzing for binary code similarity analysis
CarFast: achieving higher statement coverage faster
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Floating-point symbolic execution: A case study in N-version programming
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection
SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities
Greybox fuzzing as a contextual bandits problem
Program-Adaptive Mutational Fuzzing
Code obfuscation against symbolic execution attacks
Symbolic Execution of Obfuscated Code
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
New architecture of the object-oriented functional coverage mechanism for digital verification
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
A differential evolution based approach to generate test data for data-flow coverage
Efficient instrumentation for code coverage testing
Regular property guided dynamic symbolic execution
Efficient Testing of Recovery Code Using Fault Injection
Symbolic execution and program testing
Multistory Floor Plan Generation and Room Labeling of Building Interiors from Laser Range Data
A Randomized Trial of Deep-Brain Stimulation for Parkinson's Disease
MULTICORE PROCESSOR TECHNOLOGY- ADVANTAGES AND CHALLENGES
Deep multimodal embedding: Manipulating novel objects with point-clouds, language and trajectories