6. The method of claim 2 , wherein the test for one of the user interface elements tests whether the user interface contains a widget having a specified property.
6. The method of claim 2 , wherein the test for one of the user interface elements tests whether the user interface contains a widget having a specified property. 8. The method of claim 6 , wherein each of the plurality of natural language instructions evaluates to true if the user interface does not contain the widget having the specified property.