Events

Upcoming Events

  • ACM/IEEE International Conference on Software Engineering (ICSE 2016, PC Member)
  • ACM International Symposium on Software Testing and Analysis (ISSTA 2016, PC Member)
  • ACM/IEEE International Conference on Automated Software Engineering (ASE 2016, PC Member)
  • IEEE International Conference on Software Quality, Reliability, Security (QRS 2016, PC Member)
  • 11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), PC Chair
  • 10th International Conference on Tests & Proofs (TAP 2016, PC Member)

Invited Talks

  • International Summer School on Software Engineering (ISSSE 2016)
  • The 9th International Workshop on Search-based Software Testing (SBST 2016), Invited Tutorial
  • International Workshop on Advanced in Model-based Testing (A-MOST 2014), Keynote
  • Mutation Testing and Model Transformation Workshop (MT2 2014), Tutorial
  • International Workshop on Mutation Analysis (Mutation 2012), Keynote
  • TAROT Summer School on Software Testing (TAROT 2009, 2011, 2014), Speaker
  • CREST Open Workshop (20, 30, Speaker)

Organisation

  • International Conference on Software Testing, Verification and Validation (ICST), Steering Committee (Chair)
  • International Conference on Software Testing, Verification and Validation (ICST 2015), PC Chair
  • International Symposium on Search-Based Software Engineering (SSBSE), Steering Committee (Chair)
  • International Workshop in CrowdSourcing in Software Engineering (CSI-SE 2014, 2015), PC Chair
  • International Symposium on Search-Based Software Engineering – SSBSE 2013 (General Chair)
  • International Symposium on Software Testing and Analysis – ISSTA 2013 (Publicity Chair)
  • International Symposium on Search-based Software Engineering (SSBSE 2012), Program Chair
  • Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012), Workshop Chair
  • Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012), Publicity Chair
  • 2013 ACM International Symposium on Software Testing and Analysis (ISSTA 2013), Publicity Chair
  • 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Publicity Committee
  • 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (SIGSOFT/FSE-19) and 13rd European Software Engineering Conference (ESEC-13) (ESEC/FSE 2011), Proceedings Chair
  • 4th International Conference on Software Testing, Verification, and Validation (ICST’11), Dissertation Chair
  • Testing: Academic and Industrial Conference – Practice and Research Techniques (TAIC PART 2011), General Chair
  • 4th International Conference on Tests and Proofs (TAP 2011), Proceedings Chair 2011
  • 3rd International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2011), Co-chair
  • 6th TAROT Summer School on Software Testing (TAROT 2010), General Chair
  • Testing: Academic and Industrial Conference – Practice and Research Techniques (TAIC PART 2010), Programme Co-chair
  • International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2010), Co-chair
  • Fourth International Conference on Tests and Proofs (TAP 2010), Program Chair
  • International Workshop on Mutation Analysis (Mutation 2009, 2010), Program Chair
  • International Workshop on Advances in Model Based Testing (A-MOST 2010), Program Chair

Program Committees

  • International Conference on Software Engineering (ICSE 2016, ICSE SEIP 2014, ICSE Poster 2015)
  • International Conference on Automated Software Engineering (ASE 2013-2016)
  • International Symposium on Software Testing and Analysis (ISSTA 2014, 2016)
  • European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015)
  • International Symposium on Software Reliability Engineering (ISSRE 2011, 2013)
  • International Conference on Software Testing, Verification and Validation (ICST 2009, 2010, 2011, 2013, 2014)
  • International Workshop on Dynamic Analysis (WODA 2012)
  • Genetic and Evolutionary Computation Conference, Software Engineering Track (GECCO 2012-2016)
  • International Conference on Quality Software (QSIC 2009-2013)
  • International Workshop on Automation of Software Test (AST 2010-2015)
  • International Workshop on Search-based Software Testing (SBST 2011-2015)
  • Refactoring and Testing Workshop (RefTest 2011)
  • International Workshop on Advances in Model Based Testing (A-MOST 2008-2015)
  • International Workshop on Mutation Analysis (Mutation 2011-2016)
  • International Workshop on Regression Testing (Regression 2012)
  • International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA 2012, 2013)
  • International Conference on Tests and Proofs (TAP 2011-2016)
  • International Conference on Testing Software and Systems (ICTSS 2010, 2011)
  • International Conference on Testing of Communicating Systems (TESTCOM) and the 9th International Workshop on Formal Approaches to Testing of Software (FATES) (TESTCOM/FATES 2009)
  • International Testing: Academic and Industrial Conference – Practice and Research Techniques: (TAIC-PART 2009, 2012)
  • International Conference on Signal-Image Technology and Internet-Based Systems, Track WITDS (SITIS 2009)
  • International Workshop on Validation and Verification of Dynamic Systems (VIDAS 2010)
  • International Conference on Software Engineering Advances (ICSEA 2008, 2009, 2010)
  • International Conference on Advances in System Testing and Validation (VALID 2009, 2010)