Mutation Analysis Framework for Java
Library tools to collect timing in Java, C, C++
A database rapid application development tool
XJML 1.0 is a platform for Verification and Validation of Java classes
Automation unit testing tool for C & C++ on Linux platform