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