SpecExplorer 2010 – это утилита для Visual Studio (2010,2012), которая позволяет проверить корректность программы, автоматически генерируя код тестов на C#.
Основная идея – на C# пишется упрощенный код, который представляет собой по сути спецификацию системы (это называется модель).
Модель преобразуется в конечный автомат, это полезно уже тем, что утилита позволяет визуализировать состояния системы и переходы между ними.
Далее модель привязывается к тестируемой системе (непосредственно или через адаптер). Вот собственно и все.
Тесты генерируются автоматически и при любом изменении модели их можно просто перегенерировать.

Spec Explorer 2010 Visual Studio Power Tool

What is Model-Based Testing?

Connecting Your Tests to an Implementation

The Spec Explorer Story

Model Slicing with Spec Explorer

Есть книга:
Model-based Software Testing and Analysis with C#

Использует ли кто-нибудь эту утилиту или что-то похожее?

P.S. Голосовалка по поводу поддержки в 2013 студии здесь