GUIDiVa: Automated Discovery and Validation of State-Based GUI Invariants.

Mohammad Ali Darvish Darab, Carl K. Chang

Browse the full COMPSAC paper archive.