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.
- 202673

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

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

Creating Parameterized Moles returns null Mole only
Waldek MastykarzMVP3 hours 47 minutes ago - 421

Error while executing a test from the Test View: Host process failed with exit code ClrMonitorFail
Waldek MastykarzMVP9 hours 35 minutes ago - 322

Adding Precondition doesn't take the framework version into account
Waldek MastykarzMVP8 hours 44 minutes ago - 4100

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


