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

Author: Spec Explorer Team 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...

Author: Xiang Li 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...

Author: Xiang Li 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...

Author: Xiang Li 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...

Author: Rob DuWors 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...

Author: Rob DuWors Date: 07/06/2010

Actions, Step and Rules

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

Author: Rob DuWors 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...

Author: Rob DuWors 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...

Author: Nico Kicillof - Microsoft 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....

Author: Rob DuWors 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...

Author: wrwg 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...

Author: wrwg 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...

Author: wrwg 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...

Author: Nico Kicillof - Microsoft Date: 11/23/2009

Connecting Your Tests to an Implementation

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

Author: Nico Kicillof - Microsoft 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,...

Author: wrwg 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...

Author: Nico Kicillof - Microsoft Date: 10/27/2009