Marathon supports testing of Java/Swing and Java/Fx applications.
A fluent language to write perftences
Madcow 2.0 - Advanced Test Automation
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
Kammerjäger is a debugging tool with integrated correctness proving.