Towards GUI Functional Verification using Abstract Interpretation.

Abdulaziz Alkhalid, Yvan Labiche

Browse the full ICSoft paper archive.