Library of Approximate Adders
Mutation Analysis Framework for Java
A set of powerful tools to perform TDD on MAS based on JADE
Java based CPU stress testing tool
High quality fast "true random" number generator (shuffling) for JS
Executes Haskell-tests using WinHugs and visualizes the results.
A library for monitoring the garbage collection of app objects
Java and C Comparative Performance Benchmarks
efficient data generation for benchmarks and performance analysis
Null dereference verifier for Java Programs
XJML 1.0 is a platform for Verification and Validation of Java classes