Organization data from Github https://github.com/PySymGym
Infrastructure to train paths selectors for symbolic execution engines
GitHub:@PySymGym
Python infrastructure to train paths selectors for symbolic execution engines.
KLEEF Symbolic Execution Engine
Universal Symbolic Virtual Machine
Symbolic execution engine for .NET Core