Spec Explorer 2010 Tool And Visual Studio 2010 - Webcast

Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. It can be downloaded free of charge. This series of 16 videos is the full recording of the Effective Model-Based Testing class that Wolfgang and Nico […]

Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. It can be downloaded free of charge.

This series of 16 videos is the full recording of the Effective Model-Based Testing class that Wolfgang and Nico gave on the Microsoft campus.