IDATG consists of a set of user-friendly visual editors for formal GUI specification and task modeling and a powerful test case generator that is able to derive test scripts from the specification. It has been developed in the course of a funded industrial research project by Siemens PSE KB A3 in cooperation with CE - University of Linz. (FFF-Project Zl. 7/590/3069, duration 1996-98).