2022 29th Asia-Pacific Software Engineering Conference (APSEC)
Optimal Refinement-based Array Constraint Solving for Symbolic Execution
DOI Bookmark: 10.1109/APSEC57359.2022.00042
Authors
Meixi Liu, National University of Defense Technology,College of Computer,Changsha,ChinaZiqi Shuai, National University of Defense Technology,College of Computer,Changsha,China
Luyao Liu, National University of Defense Technology,College of Computer,Changsha,China
Kelin Ma, National University of Defense Technology,College of Computer,Changsha,China
Ke Ma, National University of Defense Technology,College of Computer,Changsha,China