Pex4Fun

Established: June 6, 2013

Publications

View by:

- 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, Jonathan "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, Jonathan "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, Jonathan "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, Jonathan "Peli" de Halleux, Tao Xie
  
  MSR-TR-2011-41 | March 2011
  
  Publication Project Project Project
- Increasing Human-Tool Interaction via the Web
  
  Thomas Ball, Jonathan "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, Jonathan "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, Jonathan "Peli" de Halleux, Tao Xie
  
  MSR-TR-2011-41 | March 2011
  
  Publication Project Project Project

People

Peli de Halleux

Principal Research Software Engineer

Learn more