Pex4Fun

Measuring Code Behavioral Similarity for Programming and Software Engineering Education

Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann

Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016

Publication Publication Project Project Project

Code Hunt: Searching for Secret Code for Fun

Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie

Proceedings of the International Conference on Software Engineering (Workshops) | June 2014

Publication Project Project Project

Increasing Human-Tool Interaction via the Web

Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Publication

Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science

Nikolai Tillmann, Peli de Halleux, Tao Xie

MSR-TR-2011-41 | March 2011

Publication Project Project Project

Measuring Code Behavioral Similarity for Programming and Software Engineering Education

Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann

Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016

Publication Publication Project Project Project

Code Hunt: Searching for Secret Code for Fun

Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie

Proceedings of the International Conference on Software Engineering (Workshops) | June 2014

Publication Project Project Project

Increasing Human-Tool Interaction via the Web

Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Publication

Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science

Nikolai Tillmann, Peli de Halleux, Tao Xie

MSR-TR-2011-41 | March 2011

Publication Project Project Project

Increasing Human-Tool Interaction via the Web

Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Publication

Measuring Code Behavioral Similarity for Programming and Software Engineering Education

Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann

Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016

Publication Publication Project Project Project

Code Hunt: Searching for Secret Code for Fun

Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie

Proceedings of the International Conference on Software Engineering (Workshops) | June 2014

Publication Project Project Project

Increasing Human-Tool Interaction via the Web

Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013

11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Publication

Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science

Nikolai Tillmann, Peli de Halleux, Tao Xie

MSR-TR-2011-41 | March 2011

Publication Project Project Project