Gamifying Software Testing with pex4fun

Pex is a test generation tool for .NET for Microsoft Research that builds on dynamic symbolic execution and constraint solving. After building the Pex engine as a Visual Studio extensions, we decided to make it available on the web. In this session, you will learn how we turn a software testing tool into a game that involves… coding! You might also learn how you can use pex4fun to train your co-workers and keep their algorithmic skills sharp. To this day, more than 800.000 programs were entered by the pex4fun fun players by playing coding duels.