TJT: Temporal Java Testing

Web: 
http://www.lcc.uma.es/~salmeron/tjt/

TJT is a tool for testing real Java programs using temporal logic formulas (LTL).