| initial_test_set initial test case set |
| auto_gen_test_set auto-generated test case set (empty) |
| annotated_elements user-provided annotations |
| for all TestCase initial_test_set do |
| new_test_cases add_test_case new_test_cases, tc |
| for all TestItem do |
| if .widget annotated_elements then |
| annotations annotations_for_widget.widget |
| new_test_cases create_new_test_cases new_test_cases, annotations.values |
| new_test_cases add_validation_rules new_test_cases, annotations.rules |
| end if |
| end for |
| auto_gen_test_set auto_gen_test_set new_test_cases |
| end for |
| return auto_gen_test_set |