Executable specification of the Watir API