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. Microsoft announced the Spec Explorer 2010, Release 3.1, that runs only on Visual Studio 2010 Release Candidate (RC). Spec Explorer 2010 Release 3.1 contains major enhancements, new features, and over 220 bug fixes.
Download: Spec Explorer 2010 Release 3.1