Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Specification of concretization and symbolization policies in symbolic execution
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
Semantics and Analysis of Instruction List Programs
Learning Continuous Semantic Representations of Symbolic Expressions
Extensible intraprocedural flow analysis at the abstract syntax tree level
Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path
Shield Synthesis: Runtime Enforcement for Reactive Systems
RGSE: a regular property guided symbolic executor for Java
Value-based Search in Execution Space for Mapping Instructions to Programs
Neuro-Symbolic Program Synthesis
Tracing and Explaining Execution of CLP(FD) Programs
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
A structured approach to post-silicon validation and debug using symbolic quick error detection
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
Interprocedural static slicing of binary executables
Achieving high coverage for floating-point code via unconstrained programming
From Rewriting Logic, to Programming Language Semantics, to Program Verification
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
Typestate-based semantic code search over partial programs
Branch vanguard: decomposing branch functionality into prediction and resolution instructions
Combining the logical and the probabilistic in program analysis
Spectro-temporal modulation transfer functions and speech intelligibility.
The Neural Basis of Addiction: A Pathology of Motivation and Choice
Pin: building customized program analysis tools with dynamic instrumentation
Effect of Cholesterol on the Structure of a Five-Component Mitochondria-Like Phospholipid Membrane
Developing Citizens ’ Trust towards Successful Adoption of E-Government : an Empirical Study from Saudi Arabia