{"id":171156,"date":"2013-06-06T16:19:35","date_gmt":"2013-06-06T16:19:35","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/project\/pex4fun\/"},"modified":"2017-06-02T11:25:43","modified_gmt":"2017-06-02T18:25:43","slug":"pex4fun","status":"publish","type":"msr-project","link":"https:\/\/www.microsoft.com\/en-us\/research\/project\/pex4fun\/","title":{"rendered":"Pex4Fun"},"content":{"rendered":"
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.<\/p>\n
Go to www.pex4fun.com<\/strong> (opens in new tab)<\/span><\/a>, and click Learn (opens in new tab)<\/span><\/a> to start tutorials.<\/p>\n\t\t\t (opens in new tab)<\/span><\/a><\/span><\/span><\/p>\n
Try it out on the web<\/h1>\n