Model-Based Testing of GUI-Driven Applications. - Vivien Chinnapongse; Insup Lee 001; Oleg Sokolsky; Shaohui Wang; Paul L. Jones (SEUS, 2009)