Ziqi Shuai, Zhenbang Chen, Yufeng Zhang 0001, Jun Sun, Ji Wang 0001. Type and interval aware array constraint solving for symbolic execution. In Cristian Cadar, Xiangyu Zhang 0001, editors, ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. pages 361-373, ACM, 2021. [doi]
Abstract is missing.