Type-Dependence Analysis and Program Transformation for Symbolic Execution
No abstract available.
Related papers
- Fractal symbolic analysis TOPLAS 2003
- Symbolic Analysis for Parallelizing Compilers TOPLAS 1996
- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution APLAS 2008
- Learning to Accelerate Symbolic Execution via Code Transformation ECOOP 2018
- Efficient Symbolic Execution of Software Under Fault Attacks ECOOP 2026
- Symbolic execution of high-level transformations SLE 2016
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- Exposing cache timing side-channel leaks through out-of-order symbolic execution OOPSLA 2020