A Methodology to Automate User Interface Testing Using Variable Finite State Machines. - Richard K. Shehady; Daniel P. Siewiorek (FTCS, 1997)