Aqua: The IDE for test automation