Model based testing

[Google Scholar] [Wikipedia]

Notes:
Papers:

Generating tests from models (specifications?) of your system.