Model-based testing

Van Wikipedia, de vrije encyclopedie