Model-Based Testing (MBT)
This is old release, new release v6 is available here
Three ways to find the information about TestOptimal: