Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Deconstructing Dynamic Symbolic Execution.
Symbolic execution for software testing: three decades later
DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis
A Systematic Survey of Program Comprehension through Dynamic Analysis
Context-sensitive analysis of obfuscated x86 executables
Testing android apps through symbolic execution
Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path
Assertion guided symbolic execution of multithreaded programs
Secure program execution via dynamic information flow tracking
Tutorial: Static Analysis and Dynamic Testing of Computer Software
Efficient and extensible security enforcement using dynamic data flow analysis
Spectre Attacks: Exploiting Speculative Execution
Static Analysis of Executables to Detect Malicious Patterns
Combining symbolic execution with model checking to verify parallel numerical programs
A Generic Approach to Automatic Deobfuscation of Executable Code
Interprocedural static slicing of binary executables
A Survey of Dynamic Program Analysis Techniques and Tools
CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations
Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping
Static detection of malicious code in executable programs
A user-guided approach to program analysis
The SLAM project: debugging system software via static analysis
Evolution of Unified-RAM: 1T-DRAM and BE-SONOS Built on a Highly Scaled Vertical Channel
Autoscanning for coupled scene reconstruction and proactive object analysis
AttentiveVideo: quantifying emotional responses to mobile video advertisements
Study of aggregate models for squirrel-cage induction motors