EventFlowSlicer: A tool for generating realistic goal-driven GUI tests | IEEE Conference Publication | IEEE Xplore