Model-Based Testing (MBT)
This is an old revision of the document!
Four ways to find the information about TestOptimal: