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 my brain child of several years of work, starting at Microsoft Research and continued in the Windows division. I'm very excited to see this happen! I'll plan to use this blog to write about model-based testing, Spec Explorer and related things.