{"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":"<p>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<p><span id=\"948a694a-0015-49f7-971f-62513ae36cf4\" class=\"ImageBlock fn\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/pex4fun.com\/\" target=\"_self\"><img decoding=\"async\" id=\"Image948a694a-0015-49f7-971f-62513ae36cf4\" title=\"Pex for fun\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex4fun-pexweb2.png\" alt=\"Pex for fun\" \/><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"ImageCaption948a694a-0015-49f7-971f-62513ae36cf4\" class=\"ImageCaptionCoreCss ImageCaption\"><\/span><\/span><\/p>\n<h1>Try it out on the web<\/h1>\n<p>Go to <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.pex4fun.com\/\"><strong>www.pex4fun.com<\/strong><span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, and click <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.pexforfun.com\/Page.aspx#learn\/\">Learn<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> to start tutorials.<\/p>\n\t\t\t<div class=\"moray-accordion\" data-show=\"false\">\n\t\t\t\t\t\t\t<div class=\"clearfix\">\n\t\t\t\t\t<div\n\t\t\t\t\t\tclass=\"btn-group align-items-center mb-g float-sm-right\"\n\t\t\t\t\t\trole=\"group\"\n\t\t\t\t\t\tdata-mount=\"collapse-controls\"\n\t\t\t\t\t\tdata-bi-aN=\"accordion-collapse-controls\"\n\t\t\t\t\t\tdata-target=\"#accordion-1\">\n\t\t\t\t\t\t<button class=\"btn btn-link m-0\" aria-disabled=\"false\" aria-pressed=\"false\" data-action=\"expand\" type=\"button\" data-bi-cN=\"Expand all\">Expand all<\/button>\n\t\t\t\t\t\t<span aria-hidden=\"true\"> | <\/span>\n\t\t\t\t\t\t<button class=\"btn btn-link m-0\" aria-disabled=\"false\" aria-pressed=\"false\" data-action=\"collapse\" type=\"button\" data-bi-cN=\"Collapse all\">Collapse all<\/button>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t<ul class=\"accordion\" id=\"accordion-1\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<li class=\"m-0\">\n\t\t\t<h4 class=\"accordion-header\">\n\t\t\t\t<button\n\t\t\t\t\tclass=\"btn btn-collapse m-0\"\n\t\t\t\t\ttype=\"button\"\n\t\t\t\t\tdata-mount=\"collapse\"\n\t\t\t\t\tdata-target=\"#collapse-2\"\n\t\t\t\t\taria-expanded=\"false\"\n\t\t\t\t\taria-controls=\"collapse-2\">\n\t\tPublications by the community\t\t\t\t<\/button>\n\t\t\t<\/h4>\n\t\t\t<div class=\"collapse\" id=\"collapse-2\">\n\t\t\t\t<div class=\"accordion-body\">\n\t\t\t\t\t\t\t\t\t\t<ul>\n<li><strong>Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama<\/strong><\/li>\n<\/ul>\n<blockquote>\n<p>Automated Feedback Generation for Introductory Programming Assignments<\/p>\n<p>To appear in PLDI 2013<\/p>\n<\/blockquote>\n<ul>\n<li><strong>Kiran Lakhotia<\/strong><\/li>\n<\/ul>\n<blockquote>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.cs.bham.ac.uk\/~wbl\/biblio\/gp-html\/Lakhotia_2013_SBST.html\" target=\"_self\">En Garde: Winning Coding Duels Through Genetic Programming<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p>6th International Workshop on Search-Based Software Testing (SBST 2013)<\/p>\n<\/blockquote>\n<ul>\n<li><strong>Schweizer, Daniel<\/strong><\/li>\n<\/ul>\n<blockquote>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/dx.doi.org\/10.3929\/ethz-a-009767769\" target=\"_self\">Overapproximating the Cost of Loops<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p>Eidgen\u00f6ssische Technische Hochschule Z\u00fcrich, Department of Computer Science, Chair of Programming Methodology (2013).<\/p>\n<\/blockquote>\n<ul>\n<li><strong>Tao Xie<\/strong><\/li>\n<\/ul>\n<blockquote>\n<p>Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. [<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/people.engr.ncsu.edu\/txie\/publications\/scam12-keynote.pdf\">PDF<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>][<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/people.engr.ncsu.edu\/txie\/pubbib.html#scam12-keynote\">BibTeX<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>]<\/p>\n<p>In Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation (<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/scam2012.cs.usask.ca\/\">SCAM 2012<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>), Keynote Paper, Trento, Italy, Pages 1-3, September 2012.<\/p>\n<\/blockquote>\n<ul>\n<li><strong>Ning Chen, Sunghun Kim<\/strong><\/li>\n<\/ul>\n<blockquote>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/doi.acm.org\/10.1145\/2351676.2351697\">Puzzle-based automatic testing: bringing humans into the loop by solving puzzles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p>In Proceedings of the ASE 2012 Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering<\/p>\n<\/blockquote>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/li>\n\t\t\t\t\t\t<li class=\"m-0\">\n\t\t\t<h4 class=\"accordion-header\">\n\t\t\t\t<button\n\t\t\t\t\tclass=\"btn btn-collapse m-0\"\n\t\t\t\t\ttype=\"button\"\n\t\t\t\t\tdata-mount=\"collapse\"\n\t\t\t\t\tdata-target=\"#collapse-3\"\n\t\t\t\t\taria-expanded=\"false\"\n\t\t\t\t\taria-controls=\"collapse-3\">\n\t\tCommunity\t\t\t\t<\/button>\n\t\t\t<\/h4>\n\t\t\t<div class=\"collapse\" id=\"collapse-3\">\n\t\t\t\t<div class=\"accordion-body\">\n\t\t\t\t\t\t\t\t\t\t<p>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&#8217;t hesitate to write us at <a href=\"mailto:pexdata@microsoft.com\">pexdata@microsoft.com<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/p>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/li>\n\t\t\t\t\t\t<li class=\"m-0\">\n\t\t\t<h4 class=\"accordion-header\">\n\t\t\t\t<button\n\t\t\t\t\tclass=\"btn btn-collapse m-0\"\n\t\t\t\t\ttype=\"button\"\n\t\t\t\t\tdata-mount=\"collapse\"\n\t\t\t\t\tdata-target=\"#collapse-4\"\n\t\t\t\t\taria-expanded=\"false\"\n\t\t\t\t\taria-controls=\"collapse-4\">\n\t\tRoadmap\t\t\t\t<\/button>\n\t\t\t<\/h4>\n\t\t\t<div class=\"collapse\" id=\"collapse-4\">\n\t\t\t\t<div class=\"accordion-body\">\n\t\t\t\t\t\t\t\t\t\t<p>Stay tuned for a new front- and back-end. The new back-end\u00a0of the Pex4Fun engine will introduce a REST-based cloud\u00a0API that allows you to automate program analysis tasks. The new front-end will make Pex4Fun even more fun!<\/p>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/li>\n\t\t\t\t\t\t<li class=\"m-0\">\n\t\t\t<h4 class=\"accordion-header\">\n\t\t\t\t<button\n\t\t\t\t\tclass=\"btn btn-collapse m-0\"\n\t\t\t\t\ttype=\"button\"\n\t\t\t\t\tdata-mount=\"collapse\"\n\t\t\t\t\tdata-target=\"#collapse-5\"\n\t\t\t\t\taria-expanded=\"false\"\n\t\t\t\t\taria-controls=\"collapse-5\">\n\t\tRelated Project\t\t\t\t<\/button>\n\t\t\t<\/h4>\n\t\t\t<div class=\"collapse\" id=\"collapse-5\">\n\t\t\t\t<div class=\"accordion-body\">\n\t\t\t\t\t\t\t\t\t\t<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/pex-and-moles-isolation-and-white-box-unit-testing-for-net\/\">Pex and Moles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> &#8211; Isolation and White box Unit Testing for .NET<\/li>\n<\/ul>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/li>\n\t\t\t\t\t\t<li class=\"m-0\">\n\t\t\t<h4 class=\"accordion-header\">\n\t\t\t\t<button\n\t\t\t\t\tclass=\"btn btn-collapse m-0\"\n\t\t\t\t\ttype=\"button\"\n\t\t\t\t\tdata-mount=\"collapse\"\n\t\t\t\t\tdata-target=\"#collapse-6\"\n\t\t\t\t\taria-expanded=\"false\"\n\t\t\t\t\taria-controls=\"collapse-6\">\n\t\tWatch video\t\t\t\t<\/button>\n\t\t\t<\/h4>\n\t\t\t<div class=\"collapse\" id=\"collapse-6\">\n\t\t\t\t<div class=\"accordion-body\">\n\t\t\t\t\t\t\t\t\t\t<p><span id=\"eb4867d1-fa13-4429-852f-af3541f99354\" class=\"ImageBlock fn\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/channel9.msdn.com\/Blogs\/Peli\/Coding-Duels-at-pexforfuncom\" target=\"_self\"><img decoding=\"async\" id=\"Imageeb4867d1-fa13-4429-852f-af3541f99354\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex4fun-pex4funvideo.png\" \/><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"ImageCaptioneb4867d1-fa13-4429-852f-af3541f99354\" class=\"ImageCaptionCoreCss ImageCaption\"><\/span><\/span><\/p>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/li>\n\t\t\t\t\t\t<li class=\"m-0\">\n\t\t\t<h4 class=\"accordion-header\">\n\t\t\t\t<button\n\t\t\t\t\tclass=\"btn btn-collapse m-0\"\n\t\t\t\t\ttype=\"button\"\n\t\t\t\t\tdata-mount=\"collapse\"\n\t\t\t\t\tdata-target=\"#collapse-7\"\n\t\t\t\t\taria-expanded=\"false\"\n\t\t\t\t\taria-controls=\"collapse-7\">\n\t\tExternal Collaborators\t\t\t\t<\/button>\n\t\t\t<\/h4>\n\t\t\t<div class=\"collapse\" id=\"collapse-7\">\n\t\t\t\t<div class=\"accordion-body\">\n\t\t\t\t\t\t\t\t\t\t<p><span id=\"9d7f3561-3d03-4b4c-83f2-12dba98db309\" class=\"ImageBlock fn\"><\/span><\/p>\n<h3><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/web.engr.illinois.edu\/~taoxie\/\" target=\"_self\">Tao Xie, UIUC<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/h3>\n<p>Associate Professor<\/p>\n<p><span id=\"9d7f3561-3d03-4b4c-83f2-12dba98db309\" class=\"ImageBlock fn\"><img decoding=\"async\" id=\"Image9d7f3561-3d03-4b4c-83f2-12dba98db309\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex4fun-taoxie.png\" \/><\/span><\/p>\n<h3><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/webhome.cs.uvic.ca\/~nigelh\/\">Nigel Horspool, UVic<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/h3>\n<p>Professor<\/p>\n<p><span id=\"fbe7120f-1af1-4671-946f-84680f2c8d1f\" class=\"ImageBlock fn\"><img decoding=\"async\" id=\"Imagefbe7120f-1af1-4671-946f-84680f2c8d1f\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/pex4fun-nigel.jpg\" \/><\/span><\/p>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/li>\n\t\t\t\t\t\t\t\t\t<\/ul>\n\t\t<\/div>\n\t\t\n","protected":false},"excerpt":{"rendered":"<p>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 [&hellip;]<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"footnotes":""},"research-area":[13560],"msr-locale":[268875],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-171156","msr-project","type-msr-project","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-locale-en_us","msr-archive-status-active"],"msr_project_start":"2013-06-06","related-publications":[238253,161097,164713,166407],"related-downloads":[],"related-videos":[],"related-groups":[],"related-events":[],"related-opportunities":[],"related-posts":[307343],"related-articles":[],"tab-content":[],"slides":[],"related-researchers":[{"type":"user_nicename","value":"jhalleux","display_name":"Peli de Halleux","author_link":"<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jhalleux\/\" aria-label=\"Visit the profile page for Peli de Halleux\">Peli de Halleux<\/a>","is_active":false,"user_id":32253,"last_first":"de Halleux, Peli","people_section":0,"alias":"jhalleux"}],"msr_research_lab":[199565],"msr_impact_theme":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/171156"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-project"}],"version-history":[{"count":2,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/171156\/revisions"}],"predecessor-version":[{"id":388385,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/171156\/revisions\/388385"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=171156"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=171156"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=171156"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=171156"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=171156"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}