Sprockets is a framework for conformance testing based on state transitions. - View it on GitHub