A methodology for test suit reduction in user-session-based testing | IEEE Conference Publication | IEEE Xplore