×

Pex4Fun

swMATH ID: 16441
Software Authors:
Tillmann, N.; de Halleux, J.; Xie, T.; Bishop, J.
Description: Pex4Fun: A web-based environment for educational gaming via automated test generation. 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.
Homepage: https://www.microsoft.com/en-us/research/project/pex4fun/
Related Software: DyTa; VIDA; Scratch; Greenfoot; Pex; DART
Cited in: 0 Documents