1. A type checking method comprising: analyzing a test script statement to determine: an exposed method expressed in the test script statement; Application Programming Interface (API) calls characterized by API call types that navigate in sequence to the exposed method; determining a destination Graphical User Interface (GUI) object that exposes the exposed method; finding an element path between sequential GUI objects in a GUI tree, where the element path leads to the destination GUI object, where the sequential GUI objects are characterized by GUI object types; and determining whether the API call types in sequence are compatible with the GUI object types in sequence.