| Vol-2754 urn:nbn:de:0074-2754-7 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# SATToSE 2020
Seminar Series on Advanced Techniques & Tools for Software Evolution

### Proceedings of the 13th Seminar Series on Advanced Techniques & Tools for Software Evolution

### Amsterdam, Netherlands, July 1-2, 2020 (due to COVID-19: virtual event).

Edited by

### Eleni Constantinou *

* Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands

## Table of Contents

- Preface

### Session 1: Legacy and microservices

- Model-Based Fuzzing Using Symbolic Transition Systems
  Wouter Bohlken, Machiel van der Bijl, Ana Maria Oprescu
- Steinmetz: Toward Automatic Decomposition of Monolithic Software Into Microservices
  Jakob Löhnertz, Ana Maria Oprescu

### Session 2: Mining software repositories

- Damegender: Writing and Comparing Gender Detection Tools
  David Arroyo Menéndez, Jesus M. Gonzalez-Barahona, Gregorio Robles
- Visualizing Evolution and Performance Metrics on Method-Level as Multivariate Data
  Hagen Tarner, Veit Frick, Martin Pinzger, Fabian Beck
- Measuring the Impact of Library Dependency on Maintenance
  Núria Bruch Tàrrega, Miroslav Zivkovic, Ana Oprescu
- OAS DB: A Repository of Specifications to Support OpenAPI Research
  Alex Stoll, Marcos Chaim, Tosin Daniel Oyetoyan, Daniela S. Cruzes
- Towards Facilitating Resilience in Cyber-Physical Systems using Coordination Languages
  Wouter Loeve, Clemens Grelck
- Causal Inference for Theory Building in Software Evolution
  Quinten Leidekker, Ana-Maria Oprescu, Lodewijk Bergmans

2020-10-26: submitted by Eleni Constantinou, metadata incl. bibliographic data published under Creative Commons CC0
2020-12-01: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|