Machine learning steered symbolic execution framework for complex software code

Open Webpage

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

Published: 2021, Last Modified: 15 Nov 2025Formal Aspects Comput. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0