Yongjuan Liang

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 2

Top Topics

Symbolic Execution

Machine Learning

Test Data Generation

Constraint Solving

Top Venues

Formal Aspects Comput.

Publications

Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
Machine learning steered symbolic execution framework for complex software code. Formal Aspects Comput. 33 (3) (2021)
Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li
Symbolic execution of complex program driven by machine learning based constraint solving. ASE (2016)