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)


@InProceedings{A-TEST15p1, author = {Christopher Gerking and Jan Ladleif and Wilhelm Schäfer}, title = {Model-Driven Test Case Design for Model-to-Model Semantics Preservation}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

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


@InProceedings{A-TEST15p11, author = {Raquel Blanco and Javier Tuya}, title = {A Test Model for Graph Database Applications: An MDA-Based Approach}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2015}, }

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


@InProceedings{A-TEST15p21, author = {Mauro Baluda}, title = {EvoSE: Evolutionary Symbolic Execution}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, }

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)


@InProceedings{A-TEST15p31, author = {Jesús Morán and Claudio de la Riva and Javier Tuya}, title = {Testing Data Transformations in MapReduce Programs}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2015}, }

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


@InProceedings{A-TEST15p41, author = {Piet Cordemans and Eric Steegmans and Jeroen Boydens}, title = {Deterministically Testing Actor-Based Concurrent Software}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, }

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)


@InProceedings{A-TEST15p51, author = {Silvana M. Melo and Simone R. S. Souza and Rodolfo A. Silva and Paulo S. L. Souza}, title = {Concurrent Software Testing in Practice: A Catalog of Tools}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2015}, }

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)


@InProceedings{A-TEST15p61, author = {Daniel Rodriguez and Javier Dolado and Javier Tuya}, title = {Bayesian Concepts in Software Testing: An Initial Review}, booktitle = {Proc.\ A-TEST}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, }