SITAR: GUI Test Script Repair
An event-flow model of gui-based applications for testing