A tool for combination-based prioritization and reduction of user-session-based test suites | IEEE Conference Publication | IEEE Xplore