Pex4Fun 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 Pex4Fun, teachers can create virtual classrooms, customize existing courses, and publish new learning material including learning games.
Try it out on the web
Go to www.pex4fun.com (opens in new tab), and click Learn (opens in new tab) 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 (opens in new tab)
6th International Workshop on Search-Based Software Testing (SBST 2013)
- Schweizer, Daniel
Overapproximating the Cost of Loops (opens in new tab)
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 (opens in new tab)][BibTeX (opens in new tab)]
In Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation (SCAM 2012 (opens in new tab)), 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 (opens in new tab)
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 (opens in new tab).
-
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!
-
- Pex and Moles (opens in new tab) – Isolation and White box Unit Testing for .NET
-
-
Tao Xie, UIUC (opens in new tab)
Associate Professor
Nigel Horspool, UVic (opens in new tab)
Professor
People
Peli de Halleux
Principal Research Software Engineer