| Vol-3567 urn:nbn:de:0074-3567-8 Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 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).

# BENEVOL 2023
Belgium-Netherlands Software Evolution Workshop 2023

### Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop

### Nijmegen, Netherlands, November 27-28, 2023.

Edited by

### Fernanda Madeiral *
Ayushi Rastogi **

* Vrije Universiteit Amsterdam, Netherlands
** University of Groningen, Netherlands

## Table of Contents

- Preface
  Summary: There were 26 submissions for peer-review to this workshop (10 technical papers and 16 presentation abstracts). Out of the submitted technical papers, 9 were accepted and 7 of them are part of this volume.

- Compositional ioco using model-based mocking 1-8
  Jore J. Booy, Jeroen J.A. Keiren, Machiel van der Bijl
- Comparing smart contract vulnerability detection tools 9-16
  Jarno Ottati, Giacomo Ibba, Henrique Rocha
- Sentiment analysis for software quality assessment 17-24
  Feng Liang, Fang Hou, Siamak Farshidi, Slinger Jansen
- The organizational hurdles of structurally reducing the energy consumption of software 25-32
  Roy van der Steen, Bernard van Gastel
- Leveraging deep learning for Python version identification 33-40
  Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev
- An experimental analysis of a near-optimal graph-based test generation algorithm 41-48
  Mutlu Beyazit, Serge Demeyer
- Towards producing a ground-truth dataset of safety bugs in the Linux Kernel 49-54
  Michel Maes-Bermejo, Gregorio Robles, Jesus M. Gonzalez-Barahona, Micael Gallego, Daniel Izquierdo-Cortazar, Paul Sherwood

2023-11-22: submitted by Fernanda Madeiral, metadata incl. bibliographic data published under Creative Commons CC0
2023-11-28: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|