In case you are capable of the German language, Christian Binder has posted an interview with me taken during TechED 2009 in Berlin, and we augmented it with an extended Webcast of using Spec Explorer, including its application by Microsoft for the Protocol...

I had the honor to give an invited talk about the application of Spec Explorer for protocol documentation testing at the 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software...

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...