ModelJUnit
ModelJUnit is a Java library that extends JUnit to support model-based testing. Models are extended finite state machines (EFSM) that are written in a familiar and expressive language: Java. ModelJUnit is an open source tool, released under the GNU GPL license.