NModel Framework Extended To Java
The NModel team have released NModelRS, a remote stepper for the model-based testing and analysis framework NModel. Previously, NModel was restricted to analysis of model programs written in C#, but NModelRS enables model-based testing of implementations in additional languages, such as Java.
The release contains a .NET RemoteStepperProxy, a Java remote stepper and a file stepper for executing generated test suites. A short tutorial on using NModelRS is available at the NModelRS website.