An empirical comparison of test suite reduction techniques for user-session-based testing of Web applications | IEEE Conference Publication | IEEE Xplore