Optimal Refinement-based Array Constraint Solving for Symbolic Execution.

Meixi Liu, Ziqi Shuai, Luyao Liu, Kelin Ma, Ke Ma

Browse the full APSEC paper archive.