DMCA

DyTa: Dynamic Symbolic Execution Guided with Static Verification Results

by Xi Ge , Kunal Taneja , Tao Xie , Nikolai Tillmann
Citations:6 - 1 self