Pex Extensions

Pex is available for commercial evaluation or academic purposes as of January 13, 2009

About Pex Extensions

This project is dedicated to discussion and extensions related to the Pex (Program EXploration) offering from Microsoft Research.

You are also strongly encouraged to read or post at the Pex MSDN forum, and if your questions are Pex specific you may get a qicker response by posting to the Pex MSDN forum.

Additionally, bugs thought to be caused by Pex itself, rather than any particular Pex extension, will probably be resolved quicker by posting your bug reports at the Pex MSDN forum.

Extensions

• Packages
  • DySy, Dynamic invariant inference
  • Packages developed via a collaborative project between the NCSU ASE group and Microsoft Research Pex team.
    • Fitnex: Fitness-guided path exploration (project web)
    • MSeqGen: Method sequence generation based on static code mining
    • Regtestgen:Guided path exploration for regression test generation
    • StringGen: String generation in the presence of regular expressions
    • PUTGen: Test generalization

Blogs

• Nikolai Tillmann, the leader of the Pex (Program EXploration) project, has the definitive Pex blog.
• Peli de Halleux, another key Pex member with Microsoft Research , also has an excellent blog at Peli's Farm.

Community Blogs

• Ben Hall, a UK based Developer\Tester has a series of articles on his blog Blog.BenHall.me.uk
• Application Development Chronicles - http://appdevchronicles.blogspot.com/search/label/Pex

Teaching and Training of Using Pex

• Wiki site for Teaching Parameterized Unit Testing/Pex

How do I ... ?

• How do I get Pex?
• How do I use an extension?
• How do I get the source for the extensions?
• How do I manually build the extensions?