Model-based testing
Generating tests automatically from a model of the expected behaviour of a system.
Covers generating tests from a model of expected behaviour. Producing test cases from requirements or code by other methods is Test case generation.