Wikipedia
Jtest
Jtest is an automated Java software testing and static analysis product that is made by Parasoft. The product includes technology for Data-flow analysis Unit test-case generation and execution, static analysis, regression testing, runtime error detection, code review, and design by contract. Jtest is used by companies such as Cisco Systems, TransCore, AIG United Guaranty and Wipro Technologies. It is also known to be used by Lockheed Martin for the F-35 Joint Strike Fighter program (JSF)