PrototypeCommon
pietrobraione/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
- Owner
- pietrobraione (personal account)
- Stars
- Stars: 125
- Forks
- Forks: 28
- Language
- Java
- License
- GPL-3.0
- Created
- 2014
- Topics
- symbolic-execution-enginejava-virtual-machine
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Java
All Java repos- wolfchief-inc/ai-failure-patternsStars: 125JavaPrototype
- PortSwigger/http-terminatorStars: 125JavaPrototype
- Windy-Field/Simplified-Plants-VS-ZombiesStars: 125JavaPrototype
- tenaciousRas/android-plist-parserStars: 125JavaPrototype
- jenkinsci/publish-over-ssh-pluginStars: 125JavaPrototype
- jagregory/shiro-freemarker-tagsStars: 125JavaPrototype