Introduction to Model-Based Testing
Model-based testing (MBT)is defined as the automated generation of software testing procedures based models of system requirements and behavior. In this article, Sergio Mera and Yiming Cao provides an introduction to model-based testing and explains how to implement it with Spec Explorer, an free tool that extends Visual Studio.