Some folks asked me to talk a bit about the history of Spec Explorer 2010 , and how it relates to an older tool also called Spec Explorer which one can find here at Microsoft Research’s web page. So here is how the story goes. The roots of the Spec...

Today, Spec Explorer , a model-based testing tool from Microsoft, went live at DevLabs ! Here are my top recommended links related to this event: Soma blogged about Spec Explorer Nico published an excellent article about the basics of model...

Starting this blog as of today! For now, I just setup theme and about . Articles to come soon... Why did I create this blog? Well, my major motivation is that we are close to shipping the model-based testing tool Spec Explorer via the Visual Studio...