Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Using targeted symbolic execution for reducing false-positives in dataflow analysis
SymDroid: Symbolic Execution for Dalvik Bytecode
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
rev.ng: a unified binary analysis framework to recover CFGs and function boundaries
Test data generation for programming exercises with symbolic execution in Java PathFinder
Entropy Non-increasing Games for the Improvement of Dataflow Programming
PT-CFI: Transparent Backward-Edge Control Flow Violation Detection Using Intel Processor Trace
Dynamic vs. Static Flow-Sensitive Security Analysis
A differential evolution based approach to generate test data for data-flow coverage
SoK : On the Soundness and Precision of Dynamic Taint Analysis
Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution
Efficient execution of memory access phases using dataflow specialization
control + data flow model directed inputs generation b . approximate taint flow inference .
Region-Based Selective Flow-Sensitive Pointer Analysis
A Static Analyzer for Large Safety-Critical Software
Combining Control-Flow Integrity and Static Analysis for Efficient and Validated Data Sandboxing
Symbolic Execution for Deep Neural Networks
Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition
Black-Box Equivalence Checking Across Compiler Optimizations
Dead Code Detection Method Based on Program Slicing
Apron: A Library of Numerical Abstract Domains for Static Analysis
Photo2Trip: Exploiting Visual Contents in Geo-tagged Photos for Personalized Tour Recommendation
On the Integration of Space, Time, and Memory
measuring team knowledge .
Towards automatic generation of vulnerability-based signatures
A Practical Guide to Discrete Optimization Dynamic Programming , 29 December 2014