BENEVOL 2023
Belgium-Netherlands Software Evolution Workshop 2023

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