Aqua: el IDE para la automatización de pruebas