XJML 1.0 is a platform for Verification and Validation of Java classes
The open source profiler for the jvm.
A novel and effictive GA algorithm to solve optimization problem
Lemansys LEWS Alternative Framework for Java Web Applications
SCOPE: Space-Based Coordination Process Engineering
SISSy detects problem patterns OO source code