BEnchMarks for Automatic Parallelizer
Null dereference verifier for Java Programs
jMINT - Java Mutation for Integration Testing
A simple TCP/UDP Port Flooder written in Python.
Test platform for all kinds of smart cards
Automate your software testing, the fastest way!
XJML 1.0 is a platform for Verification and Validation of Java classes
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification