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