Pex for fun
About Pex and Pex for fun

What is it? Pex for fun is a browser-based teaching and learning environment targeting teachers and students for introductory to advanced programming or software engineering courses. At the core of the platform is an automated grading engine based on symbolic execution. In Pex for fun, teachers can create virtual classrooms, customize existing courses, and publish new learning material including learning games. Pex for fun was released to the public in June 2010 and since then the number of attempts made by users to solve games has reached over one million. If you have never visited Pex for fun before, we suggest you follow the tutorials in the Learn area.

Is it just for fun? The full version of Pex and Code Contracts integrates into Visual Studio, and can be launched from the command line as well. (Download, Documentation) Pex can explore an entire project at once and can automatically generate a comprehensive test suite of traditional unit tests.

Who created Pex for fun? Pex for fun was brought to you by the Pex Team, part of the Research in Software Engineering (RiSE) group at Microsoft Research.

Publications Go to our Microsoft Research page to find a list publications around Pex for fun.

I have more questions. You can discuss Pex for fun on our MSDN Forums for Pex, where you can also post your Permalinks to share them with other people.

I want to provide feedback. If you have found a bug, you can send a bug report directly to the Pex developers at You can also get in touch with the Pex developers for any other reason at

Can I take any code in the browser and turn it into a puzzle? If your browser supports it, you can Install the Pex For Fun Accelerator.

© 2017 Microsoft - Pex v0.94 - Terms of Use - Privacy