An experimental model-based testing tool, based on the ioco-testing theory for labelled transition systems.