Test case generation
Producing test cases automatically or systematically from requirements, models or code.
Covers producing test cases from requirements, models or code by any method. Generating tests specifically from a model of expected behaviour is under Model-based testing.