A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets | IEEE Conference Publication | IEEE Xplore