| Vol-1354 urn:nbn:de:0074-1354-1 Copyright © 2015 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# SATToSE 2014
Seminar on Advanced Techniques and Tools for Software Evolution

### Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution

### L’Aquila, Italy, 9–11 July 2014.

Edited by

### Davide Di Ruscio *
Vadim Zaytsev **

* Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila, Italy
** Institute of Informatics, University of Amsterdam, The Netherlands

## Table of Contents

- SATToSE 2014: The Post-proceedings (editorial) 1–5
  Davide Di Ruscio, Vadim Zaytsev
- Profiling, Debugging, Testing for the Next Century 6–12
  Alexandre Bergel
- "What Programmers Do with Inheritance in Java" - Replicated on Source Code 13–24
  Çiğdem Aytekin
- Explora: Infrastructure for Scaling Up Software Visualisation to Corpora 25–36
  Leonel Merino, Mircea Lungu, Oscar Nierstrasz
- Detecting Refactorable Clones by Slicing Program Dependence Graphs 37–48
  Ammar Hamid, Vadim Zaytsev
- A Critique on Code Critics 49–59
  Angela Lozano, Gabriela Arévalo, Kim Mens
- User Interface Level Testing with TESTAR; What about More Sophisticated Action Specification and Selection? 60–78
  Sebastian Bauersfeld, Tanja E. J. Vos
- Qualifying Chains of Transformation with Coverage-based Evaluation Criteria 79–89
  Francesco Basciani, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
- Describing the Correlations between Metamodels and Transformations Aspects 90–101
  Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
- A Three-level Formal Model for Software Architecture Evolution 102–111
  Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi (Yulin) Zhang
- Representing Uncertainty in Bidirectional Transformations 112–121
  Romina Eramo, Alfonso Pierantonio, Gianni Rosa
- Towards a Taxonomy for Bidirectional Transformation 122–131
  Romina Eramo, Romeo Marinelli, Alfonso Pierantonio
- Languages, Models and Megamodels (a tutorial) 132–143
  Anya Helene Bagge, Vadim Zaytsev

2015-04-30: submitted by Vadim Zaytsev, metadata incl. bibliographic data published under Creative Commons CC0
2015-05-02: published on CEUR-WS.org |valid HTML5|