Test Automation Management Tool
Marathon supports testing of Java/Swing and Java/Fx applications.
Capturing screenshots, screen video, logcat, extract string ids
SPIN-based Eclipse Model Checking Plugin
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification