Pex
Discuss and provide feedback on Pex – Automated White Box Testing for .NET
Announcements
Welcome to Pex (and Stubs with Moles) !
PeliMSFTFriday, October 17, 2008 6:19 AMWelcome to Pex, which includes Stubs with Moles.
Pex is an automated white box test generation tool for .Net.
Stubs with Moles is a test stub framework which supports detours to deal with legacy code.
This is a great place to post your question about Pex, Stubs, and Moles related questions such as how to do parameterized unit testing, understanding how Pex works (or does not work), extending Pex, etc...
More Links:- Pex at Microsoft Research: http://research.microsoft.com/pex
- Stubs at Microsoft Research: http://research.microsoft.com/stubs
- DevLabs: http://msdn.microsoft.com/devlabs/
Code Contracts have moved!
The Code Contracts project has its own forum! Please start posting contract related discussions there.See you in TechEd EMEA and PDC!
PeliMSFT15 hours 42 minutes agoIf you have the chance to go to TechEd EMEA or PDC, don't forget to swing by our booth!
New Release: 0.18.41014.0 (new tutorials, Moles work with Visual Studio 2010, Bug fixes)
PeliMSFTWednesday, October 07, 2009 10:08 PM
Filtering and SortingUse these options to narrow down the question and discussion list.
- 192251

How do you use Pex in Visual Studio? Your Input Is Needed!
Nikolai TillmannMSFTTuesday, September 08, 2009 11:05 PM - 199

PEX explorations fails
rdefeo Friday, November 06, 2009 2:45 PM - 1120

How to instruct Pex to exploit class invariants specified with Code Contracts in generating objects?
Tao Xie Thursday, November 05, 2009 6:39 AM - 264

Stubs needs a better name
Ian Ringrose Thursday, November 05, 2009 10:23 AM - 5823

Test Overkill
Alexander Wurzinger Monday, June 22, 2009 6:02 PM - 2118

Pex with ASP.NET MVC 1.0
Arul Prasad Monday, November 02, 2009 10:08 AM - 156

Object Creation Error
Swaroop Ganaganoor Monday, November 02, 2009 10:16 PM - 197

TestInitialize and Test Cleanup routines in Pex
Kailash Rajwani Sunday, November 01, 2009 5:34 PM - 3155

How to add code substitutions for existing/uninstrumentable classes
ebnf Tuesday, October 27, 2009 5:17 PM - 2123

State Relation pattern
rgopalan Thursday, October 29, 2009 11:58 PM - 165

Aliasing analysis using extended reflection
Suresh Thummalapenta Monday, November 02, 2009 4:44 AM - 1108

MSTest vs NUnit with Pex
Carl Hasselskog Friday, October 30, 2009 10:50 AM - 1126

Visual Studio 2008 crashes when trying to create an object automatically using Pex
gradhak Saturday, October 31, 2009 6:48 PM - 2141

References needed for PEX Tests
Hans-Peter H Friday, October 30, 2009 6:20 PM - 3136

pex 0.18 and vs2010 test problem
aL3891 Thursday, October 29, 2009 8:45 AM - 4295

Pex does not use my factory method
Swaroop Ganaganoor Tuesday, September 29, 2009 1:22 PM - 7372

How to only include a single type in stub generation?
xor88 Wednesday, September 30, 2009 9:38 PM - 4214

Pex uses a factory for only a subset of my tests
Carl Hasselskog Tuesday, October 27, 2009 4:08 PM - 1158

Mocking Stream.Read using moles?
Arul Prasad Wednesday, October 28, 2009 2:16 PM - 2328

Exploratiation Error in Pex v0.16 with classes with multiple constructors ?
Alexander Wurzinger Monday, September 21, 2009 11:02 PM


