Einfach einen Begriff in der Tabelle rechts anklicken um weitere Übersetzungen in dieser Sidebar zu erhalten.
Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements the Test Template Framework proposed by Phil Stocks and David Carrington in . It is freely available online.