Model-Based Testing with Spec Explorer

Learn, discuss, ask questions about Spec Explorer. Spec Explorer is a model-based testing tool that runs as an add-in to Visual Studio. Please participate freely and help us make the Spec Explorer experience even better! 

• 24914
  

  What's the different between Spec Explorer 2010 and Spec# for Visual Studio 2008

  
  Lu Xu Thursday, November 05, 2009 2:16 AM
  Last Reply Nico KicillofMicrosoft EmployeeThursday, November 05, 2009 7:05 PM
 
• 34351
  

  Design view in cord

  
  DotNetDavid Wednesday, November 04, 2009 9:30 PM
  Last Reply Nico KicillofMicrosoft EmployeeThursday, November 05, 2009 7:01 PM
 
• 44614
  

  How to visualize output of where {. Combination ... .}

  
  DonBaechtel Tuesday, November 03, 2009 12:36 AM
  Last Reply DonBaechtel Wednesday, November 04, 2009 9:02 PM
 
• 14687
  

  Integration with Express

  
  SeanCapes Wednesday, November 04, 2009 3:28 PM
  Last Reply Nico KicillofMicrosoft EmployeeWednesday, November 04, 2009 6:49 PM
 
• 24659
  

  Rule Update Attribute documentation returns "This Topic Is No Longer Available"

  
  DonBaechtel Wednesday, November 04, 2009 4:25 PM
  Last Reply Nico KicillofMicrosoft EmployeeWednesday, November 04, 2009 6:48 PM
 
• 34695
  

  Running Tests in Parallel

  
  DonBaechtel Tuesday, November 03, 2009 2:52 PM
  Last Reply Nico KicillofMicrosoft EmployeeWednesday, November 04, 2009 6:46 PM
 
• 34830
  

  SpecExplorer Class Library Microsoft.Modeling Usage Examples

  
  DonBaechtel Tuesday, November 03, 2009 3:01 PM
  Last Reply Rob DuWors Wednesday, November 04, 2009 11:58 AM
 
• 64923
  

  Documentation on where clause

  
  DonBaechtel Monday, November 02, 2009 3:02 PM
  Last Reply Rob DuWors Tuesday, November 03, 2009 1:42 AM
 
• 54667
  

  Basic Example Walkthrough getting "invalid MACHINEBEHAVIOR" error

  
  DonBaechtel Saturday, October 31, 2009 3:09 PM
  Last Reply Rob DuWors Tuesday, November 03, 2009 1:38 AM
 
• 34669
  

  No way to see path in "Generated code is save to" line in Exploration Mnager panel

  
  DonBaechtel Monday, November 02, 2009 2:07 PM
  Last Reply Yiming Cao Tuesday, November 03, 2009 1:24 AM
 
• 14602
  

  F1 does not work on Spec Explorer Keywords

  
  DonBaechtel Monday, November 02, 2009 2:43 PM
  Last Reply Rob DuWors Monday, November 02, 2009 5:04 PM
 
• 24508
  

  Where is the documentation for Errors generated by Spec Explorer ?

  
  DonBaechtel Saturday, October 31, 2009 3:18 PM
  Last Reply DonBaechtel Monday, November 02, 2009 3:24 PM
 
• 14380
  

  Can Oslo be used as Spec Explorer Model Language?

  
  DonBaechtel Saturday, October 31, 2009 1:16 PM
  Last Reply Nico KicillofMicrosoft EmployeeMonday, November 02, 2009 12:19 AM
 
• 14524
  

  No IntelliSense with Config.cord

  
  DonBaechtel Saturday, October 31, 2009 8:33 PM
  Last Reply Nico KicillofMicrosoft EmployeeSunday, November 01, 2009 11:57 PM
 
• 06104
  

  A Brief History of Spec Explorer

  
  Rob DuWors Wednesday, October 28, 2009 5:37 PM
 
• 06206
  

  An Introduction to Model-Based Testing with Spec Explorer: Why "failure" has different meanings

  
  Rob DuWors Tuesday, October 27, 2009 8:42 PM
 
• 06362
  

  Spec Explorer Debuts on Channel 9

  
  Rob DuWors Tuesday, October 27, 2009 5:21 AM