Spec Explorer Team Blog

A Model-Based Testing tool from Microsoft

Spec Explorer 2012 release 3.5.3146.0 is now available! This release adds support to Visual Studio...

Date: 07/08/2013

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 Hello! We are...

Date: 04/18/2011

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 Hello again! We are proudly announcing the newest version of Spec...

Date: 09/30/2010

The Calculator The core calculator model is a simple four function calculator. But infix calculators...

Date: 07/06/2010

These are key concepts in Spec Explorer. Unfortunately sometimes they are used almost...

Date: 04/21/2010

Spec Explorer 2010 Release 3.2 Hello!  We are delighted to announce the newest version of Spec...

Date: 04/19/2010

The full video series for the modeling class is available on Channel 9! It’s the recording of a...

Date: 03/31/2010

    Spec Explorer 2010 Release 3.1 Note: Now obsolete. Please use Release 3.2....

Date: 02/15/2010

In case you are capable of the German language, Christian Binder has posted an interview with me...

Date: 02/02/2010

Junfeng Dai has written an article about customizing Spec Explorer for using NUnit as the test...

Date: 01/31/2010

Several advanced users have expressed interest to process the test suite generated by Spec Explorer...

Date: 11/24/2009

Many Spec Explorer users have asked the question of how and when to choose between static or...

Date: 11/23/2009

Spec Explorer supports two topologies for connecting generated test cases to the implementation of...

Date: 11/23/2009

I posted a personal account of the history of Spec Explorer on my blog: how it is related to AsmL,...

Date: 10/28/2009

Spec Explorer is a Model-Based Testing tool from Microsoft. It extends the Visual Studio integrated...

Date: 10/27/2009