An Empirical Comparison of Test Suite Reduction Techniques for User-Session-Based Testing of Web Applications