Yongjuan Liang

According to our database, Yongjuan Liang authored at least 2 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Machine learning steered symbolic execution framework for complex software code.

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

Formal Aspects Comput., 2021

2016

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

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

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016