Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report).

Yihua Xu, Chengyu Zhang, Geguang Pu

Browse the full ISSTA paper archive.