Browse by Tags

Tagged Content List
  • Blog Post: The Spec Explorer Story

    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 Explorer technology, as known today, were laid out...
  • Blog Post: Starting the blog

    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 DevLabs portal (end of October)! Spec Explorer is...
Page 1 of 1 (2 items)