A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets. - Hassan Reza; Sandeep Endapally; Emanuel S. Grant (ITNG, 2007)