Ask a question

Search Forums:

• Search Pex Forum
• Search All DevLabs Forums
• Search All MSDN Forums

 

Pex

Discuss and provide feedback on Pex – Automated White Box Testing for .NET

• 2406
  

  Code Contracts Syntax

  
  swo1 Saturday, December 06, 2008 12:42 AM
  Last Reply Manuel FahndrichMSFTMonday, December 08, 2008 6:35 PM
 
• 1489
  

  Pex Exploratiation Initialize

  
  Alexander Wurzinger Friday, December 05, 2008 4:38 PM
  Last Reply PeliMSFTFriday, December 05, 2008 6:25 PM
 
• 1475
  

  Memory Leaks

  
  Alexander Wurzinger Thursday, December 04, 2008 12:43 PM
  Last Reply Nikolai TillmannMSFTThursday, December 04, 2008 6:04 PM
 
• 1465
  

  VB.NET PEX.EXE

  
  script Thursday, December 04, 2008 3:49 PM
  Last Reply PeliMSFTThursday, December 04, 2008 5:52 PM
 
• 1376
  

  How to force Pex avoid exploring certain branches?

  
  Kunal Taneja Thursday, December 04, 2008 8:00 AM
  Last Reply Nikolai TillmannMSFTThursday, December 04, 2008 5:41 PM
 
• 1377
  

  OMG Not VB.NET

  
  script Thursday, December 04, 2008 3:32 PM
  Last Reply PeliMSFTThursday, December 04, 2008 5:30 PM
 
• 1468
  

  Some Issues with Code Contracts

  
  onurg Thursday, November 27, 2008 11:08 AM
  Last Reply Manuel FahndrichMSFTWednesday, December 03, 2008 1:44 AM
 
• 3413
  

  CodeContract: generic interfaces

  
  Giacomo Citi Monday, December 01, 2008 7:21 PM
  Last Reply vcomrhencke Tuesday, December 02, 2008 6:12 PM
 
• 7423
  

  Plans to support FSharp projects in Visual Studio 2008

  
  DannyAsher Monday, November 24, 2008 7:17 PM
  Last Reply PeliMSFTTuesday, December 02, 2008 2:39 AM
 
• 4518
  

  Samples - CodeDigger and LuhnAlgorithm

  
  Ben Hall _UK_MVPWednesday, November 12, 2008 1:25 AM
  Last Reply PeliMSFTTuesday, December 02, 2008 2:29 AM
 
• 163961
  

  Code Contracts Community

  
  Martin Dvorak -1- Wednesday, November 05, 2008 5:03 PM
  Last Reply PeliMSFTMonday, December 01, 2008 7:05 PM
 
• 2432
  

  Executing Pex Extensions in debug mode in Visual Studio

  
  Kunal Taneja Monday, November 24, 2008 8:58 PM
  Last Reply Kunal Taneja Monday, November 24, 2008 10:02 PM
 
• 1493
  

  What is the difference between PexAssert and Assert[in MSTest] ?

  
  maguschen Monday, November 24, 2008 9:56 AM
  Last Reply PeliMSFTMonday, November 24, 2008 3:59 PM
 
• 2497
  

  Obtaining path condition from a PEX exectuion

  
  Coolcaps Saturday, November 08, 2008 7:43 AM
  Last Reply Coolcaps Sunday, November 23, 2008 8:50 AM
 
• 3446
  

  PexAssert.AreBehaviorsEqual and handling nulls.

  
  Ben Hall _UK_MVPSaturday, November 15, 2008 3:09 PM
  Last Reply PeliMSFTSunday, November 23, 2008 5:03 AM
 
• 2630
  

  Stubs Error

  
  Alexander Wurzinger Friday, November 21, 2008 3:10 PM
  Last Reply PeliMSFTFriday, November 21, 2008 8:38 PM
 
• 4537
  

  IL Rewrite in Contracts

  
  Jason BockMVPThursday, November 06, 2008 9:14 PM
  Last Reply Jason BockMVPFriday, November 21, 2008 7:11 PM
 
• 71648
  

  StyleCop (or CodeCop) compilance of Code generated by PEX

  
  TatworthMVPMonday, November 17, 2008 6:13 PM
  Last Reply TatworthMVPWednesday, November 19, 2008 4:11 PM
 
• 2592
  

  pre-release license for Code Contracts

  
  kdan2000 Tuesday, November 18, 2008 9:58 PM
  Last Reply Mike BarnettMSFTWednesday, November 19, 2008 1:52 AM
 
• 3459
  

  Interesting behaviour in gird using shortcut keys

  
  Ben Hall _UK_MVPMonday, November 17, 2008 11:38 PM
  Last Reply PeliMSFTTuesday, November 18, 2008 6:02 PM