Program

Day 1

Lorem ipsum.

Coffee Break

Lunch

Coffee Break

Dinner

Day 2

Lorem ipsum.

Coffee Break

Lunch

Intro Talks - Session 1

  • Gunel Jahangirova (Fondazione Bruno Kessler) - The Oracle Problem in Software Testing
  • María del Carmen de Castro Cabrera (Universidad de Cádiz) - Towards Automated Metamorphic Testing for WS-BPEL Compositions
  • Vinh Hoa LA (Télécom SudParis) - Network Security Testing using MMT
  • Pedro Delgado Pérez (Universidad de Cádiz) - Advances in Mutation Testing Research for C++

Coffee Break

City Tour

Dinner

Day 3

Lorem ipsum.

Coffee Break

Lunch

Intro Talks - Session 2

  • Faezeh Siavashi (Åbo Akademi) - Complexity Reduction in Model-Based Testing
  • Rick Smetsers (Radboud Universiteit Nijmegen) - From Model-Based Testing to Test-Based Modeling: Using Black-Box Testing for Active Automata Learning
  • Jesús Morán (Universidad de Oviedo) - Functional Testing of MapReduce Programs
  • Lorena Gutiérrez Madroñal (Universidad de Cádiz) - Applying Mutation Testing to Event Processing Language

Coffee Break

Intro Talks - Session 3

  • Ha Thanh Le (Université du Luxembourg) - Reverse-Engineering and Automated Testing of Access Control Policies
  • Pedro Luis Díaz Montilla (Everis) - Testing Processes Definition and Deployment on Public Administrations
    Public Administrations demand testing services as part of development processes in order to ensure a high quality in all the systems they are provided. In some cases, Public Administrations have in-house testing services which certify all the software products delivered by software providers and, in other cases, Public Administrations demand testing services to be applied as part of the whole development process. In both situations, Everis has defined and deployed testing processes for Public Administrations in a local environment (Spanish Administration) as well as in an European environment. During this talk, we will see how Everis has dealt with the definition, deployment and running of testing services in both contexts.

Dinner

Day 4

Lorem ipsum.

Coffee Break

Lunch

Beach Break

Gala Dinner