Title Page

Foreword

Model-Driven Test Case Design for Model-to-Model Semantics Preservation
Christopher Gerking, Jan Ladleif, and Wilhelm Schäfer
(University of Paderborn, Germany)

A Test Model for Graph Database Applications: An MDA-Based Approach
Raquel Blanco and Javier Tuya
(University of Oviedo, Spain)

EvoSE: Evolutionary Symbolic Execution
Mauro Baluda
(Fraunhofer SIT, Germany)

Testing Data Transformations in MapReduce Programs
Jesús Morán, Claudio de la Riva, and Javier Tuya
(University of Oviedo, Spain; Universidad de Oviedo, Spain)

Deterministically Testing Actor-Based Concurrent Software
Piet Cordemans, Eric Steegmans, and Jeroen Boydens
(KU Leuven, Belgium)

Concurrent Software Testing in Practice: A Catalog of Tools
Silvana M. Melo, Simone R. S. Souza, Rodolfo A. Silva, and Paulo S. L. Souza
(University of São Paulo, Brazil)

Bayesian Concepts in Software Testing: An Initial Review
Daniel Rodriguez, Javier Dolado, and Javier Tuya
(University of Alcalá, Spain; University of the Basque Country, Spain; University of Oviedo, Spain)