Spec Explorer Team Blog
A Model-Based Testing tool from Microsoft
Spec Explorer 2010 Release 3.5.3146.0 now available!
Spec Explorer 2012 release 3.5.3146.0 is now available! This release adds support to Visual Studio...
Date: 07/08/2013
How to initialize the initial state from an external source
We received several emails to ask how to initialize the initial state from an external source...
Date: 08/02/2011
Spec Explorer 2010 Release 3.5 now available!
Spec Explorer 2010, Release 3.5 Now Available! Spec Explorer 2010 Release 3.5 Hello! We are...
Date: 04/18/2011
Spec Explorer 2010 Release 3.4 now available!
Spec Explorer 2010, Release 3.4 Now Available! Spec Explorer 2010 Release 3.4 Hello! We are...
Date: 01/06/2011
Spec Explorer 2010 Release 3.3 now available as a Visual Studio Power Tool!
Spec Explorer 2010 Release 3.3 Hello again! We are proudly announcing the newest version of Spec...
Date: 09/30/2010
The Controlled Calculator: An example of combining models while showing other features of Spec Explorer
The Calculator The core calculator model is a simple four function calculator. But infix calculators...
Date: 07/06/2010
Actions, Step and Rules
These are key concepts in Spec Explorer. Unfortunately sometimes they are used almost...
Date: 04/21/2010
Spec Explorer 2010, Release 3.2 Now Available!
Spec Explorer 2010 Release 3.2 Hello! We are delighted to announce the newest version of Spec...
Date: 04/19/2010
Effective Model-Based Testing with Spec Explorer Full Class
The full video series for the modeling class is available on Channel 9! It’s the recording of a...
Date: 03/31/2010
Announcing Spec Explorer 2010, Release 3.1!
Spec Explorer 2010 Release 3.1 Note: Now obsolete. Please use Release 3.2....
Date: 02/15/2010
Spec Explorer Webcast in German Online
In case you are capable of the German language, Christian Binder has posted an interview with me...
Date: 02/02/2010
How to customize test initialization and logging
Junfeng Dai has written an article about customizing Spec Explorer for using NUnit as the test...
Date: 01/31/2010
Using the exploration result object model: Basics
Several advanced users have expressed interest to process the test suite generated by Spec Explorer...
Date: 11/24/2009
Static vs. Instance-Based Models
Many Spec Explorer users have asked the question of how and when to choose between static or...
Date: 11/23/2009
Connecting Your Tests to an Implementation
Spec Explorer supports two topologies for connecting generated test cases to the implementation of...
Date: 11/23/2009
The Spec Explorer Story on WG’s Logbook
I posted a personal account of the history of Spec Explorer on my blog: how it is related to AsmL,...
Date: 10/28/2009
Welcome to the Spec Explorer Team Blog!
Spec Explorer is a Model-Based Testing tool from Microsoft. It extends the Visual Studio integrated...
Date: 10/27/2009