Model Checking Graphical User Interfaces Using Abstractions. - Matthew B. Dwyer; Vicki Carr; Laura Hines (ESEC / SIGSOFT FSE, 1997)