Hexawise
Combinatorial test design tool
CucumberStudio
Collaboration and test management platform for BDD (formerly Hiptest)
HOL-TestGen
Specification-based test case generator built on Isabelle/HOL
Jailer
Database subsetting tool and relational data browser
Java Pathfinder
Model checker and execution environment for verifying Java bytecode
JBehave
Behaviour-driven development framework for Java