Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Bakar Kiasan: flexible contract checking for critical systems using symbolic execution
Symbolic execution and program testing
Symbolic Model Checking for Real-Time Systems
A hybrid symbolic execution assisted fuzzing method
Regular property guided dynamic symbolic execution
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
Shield Synthesis: Runtime Enforcement for Reactive Systems
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
SymNet: Scalable symbolic execution for modern networks
sCompile: Critical Path Identification and Analysis for Smart Contracts
A Static Analyzer for Large Safety-Critical Software
State of the art: Dynamic symbolic execution for automated test generation
Code obfuscation against symbolic execution attacks
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
Symbolic PathFinder: symbolic execution of Java bytecode
Calysto: scalable and precise extended static checking
Symbolic model checking without BDDs
Software model checking without source code
Assertion guided symbolic execution of multithreaded programs
automated coverage - driven testing : combining symbolic execution and model checking .
De-convolutional auto-encoder for enhancement of fingerprint samples
Multi-criteria decision making for choosing socially responsible investment within a behavioral portfolio theory framework: a new way of investing into a crisis environment
A new scheme on link quality prediction and its applications to metric-based routing
remark on " fast floating - point processing in common lisp " .
Automating first-order relational logic