A super-simple test framework.
creates a promise for a single test case (originally for pitesti)
puts coverage and test data in jenkins-friendly places
A runner of test files. A test framework without a framework.
A Stream X-Machine library for formal modeling, visualization, and model-based testing.