junit.quilt.cover.state
Interfaces 
StateMachineCollector
Classes 
BasicBlock
CallVisitVertex
InitVertex
SimpleStateMachine
SMClassLoader
StateMachineRegistry
Errors 
InvalidTransitionException