“…GUI Event, or event in short, is a triple comprising (1) an actionable GUI element, (2) an associated action, and (3) an optional input value (e.g., user input for a text box). We reuse this definition from existing work [20,21,25]. For simplicity, we use the label of a GUI element (e.g., a1-1) to refer to the GUI event triple.…”