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! 

• 24915
  

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

  
  Lu Xu Donnerstag, 5. November 2009 02:16
  Letzte Antwort Nico KicillofMicrosoft EmployeeDonnerstag, 5. November 2009 19:05
 
• 34353
  

  Design view in cord

  
  DotNetDavid Mittwoch, 4. November 2009 21:30
  Letzte Antwort Nico KicillofMicrosoft EmployeeDonnerstag, 5. November 2009 19:01
 
• 44616
  

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

  
  DonBaechtel Dienstag, 3. November 2009 00:36
  Letzte Antwort DonBaechtel Mittwoch, 4. November 2009 21:02
 
• 14689
  

  Integration with Express

  
  SeanCapes Mittwoch, 4. November 2009 15:28
  Letzte Antwort Nico KicillofMicrosoft EmployeeMittwoch, 4. November 2009 18:49
 
• 24659
  

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

  
  DonBaechtel Mittwoch, 4. November 2009 16:25
  Letzte Antwort Nico KicillofMicrosoft EmployeeMittwoch, 4. November 2009 18:48
 
• 34697
  

  Running Tests in Parallel

  
  DonBaechtel Dienstag, 3. November 2009 14:52
  Letzte Antwort Nico KicillofMicrosoft EmployeeMittwoch, 4. November 2009 18:46
 
• 34835
  

  SpecExplorer Class Library Microsoft.Modeling Usage Examples

  
  DonBaechtel Dienstag, 3. November 2009 15:01
  Letzte Antwort Rob DuWors Mittwoch, 4. November 2009 11:58
 
• 64924
  

  Documentation on where clause

  
  DonBaechtel Montag, 2. November 2009 15:02
  Letzte Antwort Rob DuWors Dienstag, 3. November 2009 01:42
 
• 54668
  

  Basic Example Walkthrough getting "invalid MACHINEBEHAVIOR" error

  
  DonBaechtel Samstag, 31. Oktober 2009 15:09
  Letzte Antwort Rob DuWors Dienstag, 3. November 2009 01:38
 
• 34671
  

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

  
  DonBaechtel Montag, 2. November 2009 14:07
  Letzte Antwort Yiming Cao Dienstag, 3. November 2009 01:24
 
• 14607
  

  F1 does not work on Spec Explorer Keywords

  
  DonBaechtel Montag, 2. November 2009 14:43
  Letzte Antwort Rob DuWors Montag, 2. November 2009 17:04
 
• 24509
  

  Where is the documentation for Errors generated by Spec Explorer ?

  
  DonBaechtel Samstag, 31. Oktober 2009 15:18
  Letzte Antwort DonBaechtel Montag, 2. November 2009 15:24
 
• 14382
  

  Can Oslo be used as Spec Explorer Model Language?

  
  DonBaechtel Samstag, 31. Oktober 2009 13:16
  Letzte Antwort Nico KicillofMicrosoft EmployeeMontag, 2. November 2009 00:19
 
• 14525
  

  No IntelliSense with Config.cord

  
  DonBaechtel Samstag, 31. Oktober 2009 20:33
  Letzte Antwort Nico KicillofMicrosoft EmployeeSonntag, 1. November 2009 23:57
 
• 06107
  

  A Brief History of Spec Explorer

  
  Rob DuWors Mittwoch, 28. Oktober 2009 17:37
 
• 06207
  

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

  
  Rob DuWors Dienstag, 27. Oktober 2009 20:42
 
• 06363
  

  Spec Explorer Debuts on Channel 9

  
  Rob DuWors Dienstag, 27. Oktober 2009 05:21