GUITAR: an innovative tool for automated testing of GUI-driven software
Interface Theories for Component-based Design