Accepted papers

The following papers have been accepted at SEFM 2025. The indicated artifact badges follow the EAPLS badging scheme.

TO BE ANNOUNCED