What is it? Pex for fun brings programming in C#, Visual Basic, and F# to your web browser. 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.

Main publication to reference Nikolai Tillmann, Jonathan de Halleux, and Tao Xie, Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science, Microsoft Research, Technical report, no. MSR-TR-2011-41, March 2011.

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 pexbug@microsoft.com. You can also get in touch with the Pex developers for any other reason at pexdata@microsoft.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.