Jinq framework for performing symbolic execution analysis on Java code
Newer Version Available
Licenses
| License | URL |
|---|---|
| BSD 2-Clause License | http://opensource.org/licenses/BSD-2-Clause |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Ming-Yee Iu | maven<at>jinq.org | my2iu |