JUnit, Mockito
JBehave, Cucumber, Fitness, SpecFlow, ...
Mutating testing, simulation testing, Property-based testing