Symbolic execution of complex program driven by machine learning based constraint solving

Open Webpage

Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li

Published: 2016, Last Modified: 15 Nov 2025ASE 2016EveryoneRevisionsBibTeXCC BY-SA 4.0