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.
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
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,
send a bug report directly to the Pex developers at firstname.lastname@example.org.
You can also
get in touch with the Pex developers for any other reason at email@example.com.
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.