Quickmachine is a project mainly written in Java, it's free.

State machine tester using QuickCheck for java