Home

Tools

Publications

AMBER iTest - Tools

GUI Mapping Tool

             Mapper

Reverse enginnering

             ReGUI

Model Coverage Analysis Tool

             MoCat

UML to Spec# Translation Tool

             UML2Spec#

 

 

            

AMBER iTest - An automated model-based user interface testing environment