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! 

• 53230
  

  Automatically generate testcases for a model-file

  
  Lennarttt Friday, September 09, 2011 10:11 AM
  Last Reply Xiang Li Tuesday, September 13, 2011 1:37 PM
 
• 43454
  

  How to model a parallel system?

  
  Lennarttt Thursday, September 08, 2011 9:02 AM
  Last Reply bububa Tuesday, September 13, 2011 10:59 AM
 
• 33214
  

  Parameters and Instances

  
  Lennarttt Friday, September 09, 2011 10:07 AM
  Last Reply Lennarttt Tuesday, September 13, 2011 9:39 AM
 
• 13345
  

  SpecExplorer future releases and backward compatibility

  
  RachidP Saturday, September 10, 2011 7:33 AM
  Last Reply Xiang Li Tuesday, September 13, 2011 7:38 AM
 
• 13385
  

  LOGIN PAGE in design phase

  
  Dev21 Monday, September 12, 2011 7:46 AM
  Last Reply Xiang Li Tuesday, September 13, 2011 7:34 AM
 
• 23836
  

  Can't uninstall Spec Explorer 3.5

  
  casterle Thursday, August 11, 2011 5:26 PM
  Last Reply Xiang Li Tuesday, September 06, 2011 7:08 AM
 
• 13488
  

  Use of sockets with VB in Windows Phone 7 OS

  
  bytewalker Thursday, September 01, 2011 9:23 AM
  Last Reply Xiang Li Tuesday, September 06, 2011 7:04 AM
 
• 23863
  

  Spec Explorer Scenario inputSpeed

  
  Salam Ammari Wednesday, July 20, 2011 2:07 AM
  Last Reply Stefan Babos Monday, August 08, 2011 5:32 PM
 
• 24837
  

  how to define Modeling.Sequence with Condition.In()

  
  olgri424 Wednesday, July 20, 2011 11:33 AM
  Last Reply olgri424 Monday, July 25, 2011 8:08 AM
 
• 34155
  

  [ANSWERED] Issue: undefined variables

  
  daniv19 Friday, July 15, 2011 8:20 AM
  Last Reply Xiang Li Thursday, July 21, 2011 5:21 AM
 
• 24294
  

  How works an Interleaved Parallel Composition operator(|||)

  
  Stefan Babos Sunday, July 10, 2011 5:07 PM
  Last Reply Stefan Babos Monday, July 11, 2011 4:43 AM
 
• 35092
  

  Invoking actions from within IPostProcessor implementation

  
  oshamir Wednesday, June 29, 2011 9:14 AM
  Last Reply oshamir Sunday, July 03, 2011 1:33 PM
 
• 24982
  

  Spec Explorer: confused about machines and behaviors

  
  digitig Tuesday, May 24, 2011 5:18 PM
  Last Reply Nico KicillofMicrosoft EmployeeSaturday, July 02, 2011 12:07 AM
 
• 35041
  

  Running AsmL specifications with SpecExplorer

  
  Jameleddine Wednesday, June 15, 2011 9:03 AM
  Last Reply Nico KicillofMicrosoft EmployeeSaturday, July 02, 2011 12:04 AM
 
• 35030
  

  Re-exploring a model from command line?

  
  Simon Ejsing Thursday, June 23, 2011 6:59 PM
  Last Reply Xiang Li Thursday, June 30, 2011 3:51 AM
 
• 14291
  

  Fatal error exploring a model with NativeType and generics

  
  Simon Ejsing Wednesday, June 22, 2011 6:04 AM
  Last Reply Xiang Li Thursday, June 30, 2011 3:46 AM
 
• 24685
  

  Evaluation of enum rule parameters

  
  Simon Ejsing Wednesday, June 22, 2011 5:55 AM
  Last Reply Simon Ejsing Thursday, June 23, 2011 5:35 AM
 
• 35219
  

  problem with installation of SpecExplorer

  
  olgri424 Tuesday, June 14, 2011 7:27 AM
  Last Reply Junfeng Dai Thursday, June 16, 2011 10:39 AM
 
• 811644
  

  Spec Explorer Tutorial ?

  
  DonBaechtel Monday, November 02, 2009 3:16 PM
  Last Reply Simon Ejsing Monday, June 13, 2011 6:25 PM
 
• 15144
  

  Undefined type reference when defining an action that returns an IEnumerable

  
  JeremySEP Tuesday, June 07, 2011 5:54 PM
  Last Reply Xiang Li Wednesday, June 08, 2011 6:26 AM