Educational Software Engineering @ Illinois Automated Software Engineering Group

Contributed Projects: Pex for Fun@MSR Code Hunt@MSR TouchDevelop@MSR

• Overview
• Pex4Fun/Code Hunt
• TouchDevelop
• Educational Programming Systems
• Software Analytics
• Related Work

Overview

• Tao Xie, Testing for Educational Gaming and Educational Gaming for Testing, Talk, Google Test Automation Conference 2013, New York City, April 2013, Links: Video, Slides
• Tao Xie, Nikolai Tillmann and Jonathan de Halleux. Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet. In Proceedings of the 3rd International Workshop on Games and Software Engineering (GAS 2013), San Francisco, CA, May 2013. [PDF][BibTeX]
• Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, Judith Bishop, Arjmand Samuel, and Tao Xie. The Future of Teaching Programming is on Mobile Devices. In Proceedings of 17th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2012), Haifa, Israel, July 2012. [PDF][BibTeX]
• Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, and Tao Xie. Browser-based Software for Technology Transfer. In Proceedings of the2011 Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists (SAICSIT 2011), Industry Oriented Paper, Cape Town, South Africa, pages 338-340, October 2011. [PDF][BibTeX]
• Tao Xie, Jonathan de Halleux, Nikolai Tillmann, and Wolfram Schulte. Teaching and Training Developer-Testing Techniques and Tool Support. In Proceedings of the 25th Annual ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2010), Educators' and Trainers' Symposium, Reno/Tahoe Nevada, pages 175-182, October 2010. [PDF][BibTeX]

Pex for Fun/Code Hunt (Pex for Fun Project Web, Code Hunt Project Web)

• Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop. Constructing Coding Duels in Pex4Fun and Code Hunt. In Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA 2014), Tool Demonstrations, San Jose, California, July 2014. [PDF][BibTeX]
• Nikolai Tillmann, Judith Bishop, Nigel Horspool, Daniel Perelman and Tao Xie. Code Hunt - Searching for Secret Code for Fun. In Proceedings of the 7th International Workshop on Search-Based Software Testing (SBST 2014), Hyderabad, India, June 2014. [PDF][BibTeX]
• Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop. Code Hunt: Gamifying Teaching and Learning of Computer Science at Scale. In Proceedings of the 1st ACM Conference on Learning at Scale (Learning @ Scale 2014), Work-in-Progress/Demo, Atlanta, Georgia, March 2014. [PDF][BibTeX]
• Tao Xie, Testing for Educational Gaming and Educational Gaming for Testing, Talk, Google Test Automation Conference 2013, New York City, April 2013, Links: Video, Slides
• Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop. Pex4Fun: A Web-based Environment for Educational Gaming via Automated Test Generation. In Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Tool Demonstrations, Palo Alto, California, November 2013. [Pex For Fun Web][BibTeX]
• Tao Xie, Nikolai Tillmann and Jonathan de Halleux. Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet. In Proceedings of the 3rd International Workshop on Games and Software Engineering (GAS 2013), San Francisco, CA, May 2013. [PDF][BibTeX]
• Nikolai Tillmann, Jonathan De Halleux, Tao Xie, Sumit Gulwani and Judith Bishop. Teaching and Learning Programming and Software Engineering via Interactive Gaming. In Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), Software Engineering Education (SEE), San Francisco, CA, May 2013.[PDF][Pex For Fun Web][BibTeX]
• Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, and Tao Xie. Browser-based Software for Technology Transfer. In Proceedings of the2011 Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists (SAICSIT 2011), Industry Oriented Paper, Cape Town, South Africa, pages 338-340, October 2011. [PDF][BibTeX]

TouchDevelop (Project Web)

• Sihan Li, Tao Xie, and Nikolai Tillmann. A Comprehensive Field Study of End-User Programming on Mobile Devices. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), San Jose, CA, September 2013. [PDF][BibTex]
• Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich, Judith Bishop, Arjmand Samuel, and Tao Xie. The Future of Teaching Programming is on Mobile Devices. In Proceedings of 17th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2012), Haifa, Israel, July 2012. [PDF][BibTeX]
• Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, Michal Moskal. User-Aware Privacy Control via Extended Static-Information-Flow Analysis. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering 2012 (ASE 2012), Essen, Germany, September 2012. [PDF][BibTex].

Educational Programming Systems

• Qianxiang Wang, Wenxin Li, and Tao Xie. Educational Programming Systems for Learning at Scale. In Proceedings of the 1st ACM Conference on Learning at Scale (Learning @ Scale 2014), Work-in-Progress/Poster, Atlanta, Georgia, March 2014. [PDF][BibTeX]

Software Analytics

• Dongmei Zhang, Yingnong Dang, Shi Han, and Tao Xie. Teaching and Training for Software Analytics. In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2012), Tutorial, Nanjing, China, April 2012. [Tutorial Web][BibTeX]