Wiki site for Teaching/Learning Parameterized Unit Testing/Pex

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.

Teaching Materials on Parameterized Unit Testing

• Reading on Parameterized Unit Testing
• Educational Technology Reading
• 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