Hierarchical GUI test case generation using automated planning | IEEE Journals & Magazine | IEEE Xplore