An empirical comparison of test suite reduction techniques for user-session-based testing of Web applications | Synapse