The Curious Engineer

All blogs / Testing / QA

Spec Explorer Team Blog

learn.microsoft.com/en-us/archive/blogs/specexplorer

A Model-Based Testing tool from Microsoft

Testing / QAMicrosoft blogsMSDN archive

’10’15’20’25
Posts
17 from 27 Oct 2009 to 8 Jul 2013
Posting
archived, read-only
Kind
company blog
Feed
https://learn.microsoft.com/en-us/archive/blogs/specexplorer/feed.xml

2013 1

  1. Spec Explorer 2010 Release 3.5.3146.0 now available!

2011 3

  1. How to initialize the initial state from an external source
  2. Spec Explorer 2010 Release 3.5 now available!
  3. Spec Explorer 2010 Release 3.4 now available!

2010 8

  1. Spec Explorer 2010 Release 3.3 now available as a Visual Studio Power Tool!
  2. The Controlled Calculator: An example of combining models while showing other features of Spec Explorer
  3. Actions, Step and Rules
  4. Spec Explorer 2010, Release 3.2 Now Available!
  5. Effective Model-Based Testing with Spec Explorer Full Class
  6. Announcing Spec Explorer 2010, Release 3.1!
  7. Spec Explorer Webcast in German Online
  8. How to customize test initialization and logging

2009 5

  1. Using the exploration result object model: Basics
  2. Static vs. Instance-Based Models
  3. Connecting Your Tests to an Implementation
  4. The Spec Explorer Story on WG’s Logbook
  5. Welcome to the Spec Explorer Team Blog!