Summer internship project: Symbolic execution + RL
The project goal: Improve of path selection strategy efficiency for symbolic execution by using Machine Learning/Reinforcement Learning
The project goal: Improve of path selection strategy efficiency for symbolic execution by using Machine Learning/Reinforcement Learning