1. Recorded Selenium tests can be combined to infer a test machine or finite state machine that models the application's behavior and can generate new test paths.
2. Input parameters from recorded tests can be clustered to infer input partitions that can be used to generate new input values.
3. The inferred test machine and input partitions can be combined to automatically generate new, more effective test cases.