MOCHA (Model Checking and Automated Test Generation) is a dfg-granted (http://gepris.dfg.de/gepris/OCTOPUS/;jsessionid=3E49A0484E38DD18921397B74534DA5D?module=gepris&task=showDetail&context=projekt&id=137421300) research project about Model-Based Testing via algorithms from the field of model checking, see http://lfm.iti.uni-karlsruhe.de/705.php.
SWELL defines an English-like domain-specific language (DSL) for testing Web and Swing applications. It also provides interpreters that can run scripts in the language as an external DSL. SWELL uses VisualLangLab (http://vll.java.net/ as its parser-generator. User documentation is available in the Docs (http://java.net/projects/swell/sources/svn/show/SWELL/trunk/docs) directory.
Thucydides is a tool that lets you use WebDriver-based unit or BDD tests to write more flexible and more reusable WebDriver-based tests, and also to generate documentation about your acceptance tests, including a narrative description of test, along with the corresponding screen shots, and also high-level summaries and aggregations of the test results.