Spec Explorer 1.0 – A “Visual tool for modeling software behavior and generating test suites from those models”

Microsoft Downloads - Spec Explorer for Model-Based Testing in Visual Studio

“Spec Explorer is a tool for Model-Based Testing that runs as an add-in to Visual Studio Ultimate/Team Suite editions

Version:	1.0
Date Published:	10/23/2009
Language:	English
Download Size:	62 KB - 12.6 MB*

Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. Spec Explorer’s approach to model-based testing has been shown to greatly enhance productivity of test case creation, to ensure predictability of requirement coverage, and to support lifecycle management and software updates. Models are typically written in C# and controlled by a configuration language which allows to express scenarios and test purposes. Please see also the Spec Explorer [GD:As of this post, this link does not appear to be active] home page on DevLabs

…

Platform Software

• Microsoft .NET Framework 3.5 SP1 or 4.0 Beta
• Microsoft Visual Studio 2010 Beta 2 Professional edition or above for SpecExplorerVS2010.msi
• and/or Microsoft Visual Studio 2008 Professional edition or above for SpecExplorerVS2008.msi

…”

Interesting…

Looks like Spec Explorer has been backing since at least 2005, .Net Developers Journal - Using Spec Explorer for Model-Based Test Development. Also see, Microsoft Research - Model-based Testing with SpecExplorer