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.New Release: 0.19.41110.1
PeliMSFTWednesday, October 07, 2009 10:08 PM
Filtering and SortingUse these options to narrow down the question and discussion list.
- 202664

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

Adding Precondition doesn't take the framework version into account
Waldek MastykarzMVP3 hours 14 minutes ago - 05

Error while executing a test from the Test View: Host process failed with exit code ClrMonitorFail
Waldek MastykarzMVP4 hours 5 minutes ago - 143

Does mole generation skip abstract properties and methods of an abstract class?
xor88 Saturday, November 21, 2009 10:39 PM - 498

Meaning of "Allow Exception..." menu item
Nikolai TillmannMSFTThursday, November 19, 2009 4:54 AM - 250

Pex always crashes with StackOverflow
Michael Weiss Saturday, November 21, 2009 2:04 PM - 345

Stubs not working after Upgrade from 0.17 to 0.19
xor88 Friday, November 20, 2009 3:47 PM - 3162

Moles and Stubs vs. Moq
tful Sunday, November 15, 2009 11:41 PM - 143

Stubs and Moles generation for internal visible classes
Yauhen Safrankou Friday, November 20, 2009 1:01 PM - 269

New to Unit Testing
sjhuk Thursday, November 19, 2009 10:48 PM - 151

Disable Partial Generation
DetroitPro Thursday, November 19, 2009 3:01 PM - 3124

pex host type and vs2010
aL3891 Tuesday, November 17, 2009 10:25 AM - 291

VS2010 Issue
sandrews-tbl Wednesday, November 18, 2009 4:06 PM - 6247

Question Regarding PexSymbolicValue.GetRelevantInputNames
Kunal Taneja Tuesday, November 10, 2009 5:00 AM - 123349

Blogging about Pex, let us know!
PeliMSFTWednesday, May 20, 2009 2:22 PM - 1139

Pex: Visual Studio Addin 0.19.41110.1 crashed with System.InvalidOperationException
Waldek MastykarzMVPFriday, November 13, 2009 6:40 AM - 2115

how to generate MDateTime class?
nanhuacrab Monday, November 16, 2009 3:36 AM - 7269

Pex generates empty stub file for one project
aL3891 Monday, November 09, 2009 4:38 PM - 8213

NullReferenceException - bug in Pex?
Judah Thursday, November 12, 2009 11:29 PM - 2158

Pex is not able to generate required input values to meet a condition, when using Factory method, whereas the required inputs are generated when the factory method code is moved to PUT
Madhuri Marri Thursday, November 12, 2009 4:05 AM


