If you would like to contribute to the teaching/learning materials on this wiki site, send Tao Xie an email for requesting to be a collaborator of this wiki site.

• Pex Usage Corner
• Educational Materials with Pex4Fun/TouchStudio
  
• Pex tutorial slides presented at various venues (e.g., ICSE, OOPSLA)
  
• Contact Pex developers and/or Tao Xie if you would like to have on-site tutorials)
  
• Lecture notes and slides
• Exercises
• Code under test
• Samples
• Open Source C# Code
• Tips and Troubleshooting
• PUT Patterns for Tool Developers
  
• Courses using Pex
• NCSU CSC 712 Software Testing and Reliability (2008 Fall, 2009 Fall, 2010 Fall) instructed by Tao Xie
• Illinois CS 527 Topics in Software Engineering (2010  Fall) instructed by Darko Marinov
• Links: 
• MSR Pex   Pex Extensions
• Nikolai's blog  Peli's blog
• Ben's blog
• Microsoft Faculty Connection