Intro Talk Speakers

María del Carmen de Castro Cabrera (Universidad de Cádiz)

Towards Automated Metamorphic Testing for WS-BPEL Compositions

Pedro Delgado Pérez (Universidad de Cádiz)

Advances in Mutation Testing Research for C++

Pedro Luis Díaz Montilla (Everis)

Testing Processes Definition and Deployment on Public

Lorena Gutiérrez Madroñal (Universidad de Cádiz)

Applying Mutation Testing to Event Processing Language

Vinh Hoa LA (Télécom SudParis)

Network Security Testing using MMT

Gunel Jahangirova (Fondazione Bruno Kessler)

The Oracle Problem in Software Testing

Jesús Morán (Universidad de Oviedo)

Functional Testing of MapReduce Programs

Faezeh Siavashi (Åbo Akademi)

Complexity Reduction in Model-Based Testing

Rick Smetsers (Radboud Universiteit Nijmegen)

Test-Based Modeling in an Ultrametric Space

Ha Thanh Le (Université du Luxembourg)

Reverse-Engineering and Automated Testing of Access Control Policies