Skip to content

UnitTestBot/ML-path-selection

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 

Repository files navigation

Summer internship project: Symbolic execution + RL

The project goal: Improve of path selection strategy efficiency for symbolic execution by using Machine Learning/Reinforcement Learning

About

Summer internship project for ML path selection

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published