Step 2 : Create a strategy file and run test generation
Step 3: Create test driver class
Step 4: First test case: log in with valid email address and password
Step 5: Test cases: log in with valid, invalid and not entered email address and password
Step 6. Use of arbitrary type expressions for properties
Step 7: 9 test cases covering all input combinations
Step 8: 6 test cases covering the most interesting input combinations
Step 9: Add tests considering protocols http and https
Step 10. Test coverage
Step 11. Identifying gaps in requirement coverage
Step 12. Adding test for requirement R2
Step 13. Removing conditional rule
Step 14. Adding verification for requirement R4
Step 15. Eliminating duplication by defining default values
Step 16. Creating multiple scripts for different parts of the test suite