Madcow 2.0 - Advanced Test Automation
Java (6&7) Code Coverage Plugin for NetBeans, based on JaCoCo
Dynamically generated unit tests for basic verifications.
Library tools to collect timing in Java, C, C++
Quality-Check is a small Java library for basic runtime checks of vars
Null dereference verifier for Java Programs
MOVED TO GITHUB. Code here is STALE.
Effective Unit Testing for Java EE
Source Code Analyzer
A library that allows programs for a NI CRIO to be run on a computer.
jMINT - Java Mutation for Integration Testing
A tool for testing regular expressions.
SPIN-based Eclipse Model Checking Plugin
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
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