Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Symbolic PathFinder: symbolic execution of Java bytecode
Symbolic execution and program testing
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
Floating-point symbolic execution: A case study in N-version programming
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
SymNet: Scalable symbolic execution for modern networks
An Overview of the Runtime Verification Tool Java PathExplorer
Efficient symbolic execution for analysing cryptographic protocol implementations
The KeY Platform for Verification and Analysis of Java Programs
Code vectors: understanding programs through embedded abstracted symbolic traces
Formalisation and analysis of Dalvik bytecode
Differential symbolic execution
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Combining symbolic execution and model checking for data flow testing
Compositional Symbolic Execution through Program Specialization
Model checking JAVA programs using JAVA PathFinder
BIT: A Tool for Instrumenting Java Bytecodes
Assertion guided symbolic execution of multithreaded programs
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
Design and evaluation of dynamic optimizations for a Java just-in-time compiler
RGSE: a regular property guided symbolic executor for Java
Conformal Asymmetric Meandered Flare (AMF) Antenna for Body-Worn Applications
Manufacturing Analytics and Industrial Internet of Things
KLIPPEL-TRENAUNAY SYNDROME WITH RARE ASSOCIATED COMPLICATIONS – A CASE REPORT
Predicting personality with social media
A System to Generate Test Data and Symbolically Execute Programs