Type-Dependence Analysis and Program Transformation for Symbolic Execution
Their next paper is Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs.
Sergey Vartanov, 2007–2020
Their next paper is Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs.
Sergey Vartanov, 2007–2020