Microsoft Research Labs: Pex for fun

Pex for fun brings programming in C#, Visual Basic, and F# to your web browser. I found this today on Microsoft research Lab website and its very interesting. You should try this.

If you have never visited Pex for fun before, we suggest you follow the tutorial.

Is it just for fun? The full version of Pex 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.

What is a puzzle? Each puzzle is either a small program with a statement that is tricky to reach, or it is a Coding Duel, which is an interactive programming challenge. You can use Code Contracts and even write Parameterized Unit Tests.

What puzzles are there? Can I write my own? Pex for fun already has many puzzles; you can write your own puzzle starting from a puzzle template, and even turn it into a new Coding Duel (tutorial).

How does Pex work? Pex finds interesting input values by analyzing the behavior of the code, combining dynamic and static analysis, and using a constraint solver.

Can I use Pex for fun for teaching? Yes! Please follow our teaching tutorial.

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.

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.