Type and interval aware array constraint solving for symbolic execution.

Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang

Browse the full ISSTA paper archive.