Generating test cases for GUI responsibilities using complete interaction sequences | IEEE Conference Publication | IEEE Xplore