Reverse Engineered Formal Models for GUI Testing.

Ana C. R. Paiva, Joo C. P. Faria, Pedro M. C. Mendes

Browse the full FMICS paper archive.