Spec Explorer[1] is a Model-Based Testing (MBT[2][3]) tool from Microsoft.
It extends the Visual Studio Integrated Development Environment with the ability to define a model describing the expected behavior of a software system.
The concepts behind Spec Explorer and the tool itself have been described in several publications[4][5][6][7][8][9][10] [11][12][13] and presented in multiple academic and industry events.
[14][15][16][17] The latest version can be downloaded from Visual Studio Gallery.
[19] Community and engineering team support can be obtained through the Spec Explorer Forum,[20] while the Spec Explorer Team Blog[21] provides detailed articles and guidance.