Pex4Fun

Try it out on the web

Go to www.pex4fun.com, and click Learn to start tutorials.

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama

Automated Feedback Generation for Introductory Programming Assignments
To appear in PLDI 2013

Kiran Lakhotia

En Garde: Winning Coding Duels Through Genetic Programming
6th International Workshop on Search-Based Software Testing (SBST 2013)

Schweizer, Daniel

Overapproximating the Cost of Loops
Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Programming Methodology (2013).

Tao Xie

Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. [PDF][BibTeX]
In Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), Keynote Paper, Trento, Italy, Pages 1-3, September 2012.

Ning Chen, Sunghun Kim

Puzzle-based automatic testing: bringing humans into the loop by solving puzzles
In Proceedings of the ASE 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering

Are you interested in using Pex4fun for your studies? Or do you have some research ideas that involve mining the >1,000,000 program submissions? Do you have a published paper we can add to our community list? Don’t hesitate to write us at pexdata@microsoft.com.

Stay tuned for a new front- and back-end. The new back-end of the Pex4Fun engine will introduce a REST-based cloud API that allows you to automate program analysis tasks. The new front-end will make Pex4Fun even more fun!