Overview of graphical operational profiles for generating test cases of GUI software | IEEE Conference Publication | IEEE Xplore