Java Pathfinder
Model checker and execution environment for verifying Java bytecode
JBehave
Behaviour-driven development framework for Java
jenny
Command-line pairwise test case generator
Jnario
Executable specifications for Java, based on Xtend
qTest Scenario
BDD app for Jira in Tricentis qTest
QuickCheck
Property-based testing and automatic test case generation