DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications