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

论文与出版物 论文与出版物 项目 项目 项目

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

论文与出版物 项目 项目 项目

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

论文与出版物

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

论文与出版物 项目 项目 项目

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

论文与出版物 论文与出版物 项目 项目 项目

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

论文与出版物 项目 项目 项目

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

论文与出版物

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

论文与出版物 项目 项目 项目

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

论文与出版物

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

论文与出版物 论文与出版物 项目 项目 项目

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

论文与出版物 项目 项目 项目

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

论文与出版物

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

论文与出版物 项目 项目 项目