Today, Spec Explorer, a model-based testing tool from Microsoft, went live at DevLabs!

Here are my top recommended links related to this event:

It was a long journey to here, and I will report shortly about the history of this effort.