TY - GEN
T1 - Pex4Fun
T2 - 2012 25th IEEE Conference on Software Engineering Education and Training, CSEE and T 2012
AU - Tillmann, Nikolai
AU - De Halleux, Jonathan
AU - Xie, Tao
AU - Bishop, Judith
PY - 2012
Y1 - 2012
N2 - Pex4Fun (http://www.pexforfun.com/) is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer programming at many levels, from high school all the way through graduate courses. With Pex4Fun, a student edits code in any browser - with Intellisense - and Pex4Fun executes it and analyzes it in the cloud. Pex4Fun connects teachers, curriculum authors, and students in a unique social experience, tracking and streaming progress updates in real time. In particular, Pex4Fun finds interesting and unexpected input values that help students understand what their code is actually doing. The real fun starts with Coding Duels where students write code to implement a teacher's specification. Pex4Fun finds any discrepancies in behavior between the student's code and the specification. This tutorial instructs materials to equip participants with skills and knowledge of using Pex4Fun in teaching and learning, such as solving puzzles, solving Coding Duels, exploring course materials in feature courses, creating and teaching a course, creating and publishing Coding Duels, and learning advanced topics behind Pex4Fun.
AB - Pex4Fun (http://www.pexforfun.com/) is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer programming at many levels, from high school all the way through graduate courses. With Pex4Fun, a student edits code in any browser - with Intellisense - and Pex4Fun executes it and analyzes it in the cloud. Pex4Fun connects teachers, curriculum authors, and students in a unique social experience, tracking and streaming progress updates in real time. In particular, Pex4Fun finds interesting and unexpected input values that help students understand what their code is actually doing. The real fun starts with Coding Duels where students write code to implement a teacher's specification. Pex4Fun finds any discrepancies in behavior between the student's code and the specification. This tutorial instructs materials to equip participants with skills and knowledge of using Pex4Fun in teaching and learning, such as solving puzzles, solving Coding Duels, exploring course materials in feature courses, creating and teaching a course, creating and publishing Coding Duels, and learning advanced topics behind Pex4Fun.
UR - http://www.scopus.com/inward/record.url?scp=84866634929&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84866634929&partnerID=8YFLogxK
U2 - 10.1109/CSEET.2012.13
DO - 10.1109/CSEET.2012.13
M3 - Conference contribution
AN - SCOPUS:84866634929
SN - 9780769546933
T3 - Proceedings - 2012 25th IEEE Conference on Software Engineering Education and Training, CSEE and T 2012
SP - 90
EP - 91
BT - Proceedings - 2012 25th IEEE Conference on Software Engineering Education and Training, CSEE and T 2012
Y2 - 17 April 2012 through 19 April 2012
ER -