Towards GUI Functional Verification using Abstract Interpretation.