Есть ли какие-нибудь инструменты для автоматизации тестирования графического интерфейса пользователя для Internet Explorer? Я уже использую Selenium для Mozilla Firefox, но мне также нужен инструмент для IE.