efficient data generation for benchmarks and performance analysis
Automated Testing for Web Applications
Null dereference verifier for Java Programs
A database rapid application development tool
jMINT - Java Mutation for Integration Testing
XJML 1.0 is a platform for Verification and Validation of Java classes
IIS server log analysis