Spec Explorer is an extension of Microsoft Visual Studio Team Suite for creating models of software behavior, analyzing those models, and generating and driving model-based tests (MBT).