Workshop on Automated Software Testing, 2015

Programme

30th August 2015

11:00 - 12:30
  • Opening by the workshop chair
  • Testing Data Transformations in MapReduce Programs, by Jesús Morán, Claudio De La Riva and Javier Tuya.
  • A Test Model for Graph Database Applications: an MDA-based Approach, by Raquel Blanco and Javier Tuya.
12.30 - 14.00 Lunch
14:00 - 15:30
  • EvoSE: Evolutionary Symbolic Execution, by Mauro Baluda.
  • Bayesian Concepts in Software Testing: An Initial Review, by Daniel Rodriguez, Javier Dolado and Javier Tuya.
15:30 - 16:00 Break
16:00 - 17:30 Discussion: Cross breeding approaches in software testing, challenges and opportunities.

31st August 2015

09:00 - 10:00 Keynote: Kristian Wiklund, Ericsson AB, title TBA.
10:00 - 10:45
  • Concurrent Software Testing in Practice: A Catalog of Tools, by Silvana M. Melo, Simone R. S. Souza and Rodolfo A. Silva.
10:45 - 11:00Break
11:00 - 12:30
  • Model-Driven Test Case Design for Model-to-Model Semantics Preservation, by Christopher Gerking, Jan Ladleif and Wilhelm Schäfer.
  • Deterministically Testing Actor-based Concurrent Software, by Piet Cordemans, Eric Steegmans and Jeroen Boydens.
12:30 - 14:00 Lunch
14:00 - 15:30 Discussion: Future of Testing Concurrent Programs

Organization

General Chair:
Tanja Vos (Univ. Poli. Valencia, ES)

Programme Chairs:
Sigrid Eldh (Ericsson, SE)
Wishnu Prasetya (Univ. Utrecht, NL)

Publicity Chair:
Anna Esparcia (Univ. Poli. Valencia, ES)

Programme Committee Members:

Pekka Aho (VTT, FI)
Emil Alégroth (Chalmers University, SE)
Shaukat Ali (Simula, NO)
Steve Counsell (Brunel University, UK)
Maria Fernanda Granda (Univ. Poli. Valencia, ES)
Sheikh Umar Farooq (University of Kashmir, IN)
Mark Harman (Univ. College London, UK)
Peter M. Kruse (Berner & Mattner)
Yvan Labiche (Carleton University, CA)
Jenny Li (Kean University, USA)
Atif Memon (Univ. of Maryland, USA)
John Penix (Google, USA)
Simon Poulding (Univ. of York, UK)
Onn Shehory (IBM, IL)
Daniel Sundmark (Malardalen Univ., SE)
Paolo Tonella (FBK, IT)

Important dates:

Format and submission

All accepted papers will be published as part of ESEC/FSE proceedings. Camera ready versions of papers should be done according to the guidelines received from Conference Publishing Support by email.

Submitted papers have been reviewed by 3 members of Program/Organizing Committee (or their sub-reviewers) and selection of accepted papers will based on relevance, quality and originality of the submitted papers.

If a paper gets accepted, at least one of the (co)author(s) is expected to be present at the workshop to present the paper. All papers submitted to the workshop must be unpublished original work and should not be under review or submitted elsewhere while being under consideration.