https://github.com/ksen007/janala2
Java94
6 years ago
a concolic testing engine for Java
BSD 2-Clause "Simplified" License