GUIDiVa: Automated Discovery and Validation of State-Based GUI Invariants | IEEE Conference Publication | IEEE Xplore