Reverse Engineered Formal Models for GUI Testing. - Ana C. R. Paiva; João C. P. Faria; Pedro M. C. Mendes (FMICS, 2007)