Papers of the Month: May 2025

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Understanding Underrepresented Groups in Open Source Software, by Reydne Santos, Rafa Prado, Ana Paula de Holanda Silva, Kiev Gama, Fernando Castor and Ronnie de Souza Santos. Accepted for the 29th International Conference on Evaluation and Assessment in Software Engineering (EASE 2025).
• Conformance in the railway industry: Single-Input-Change testing a EULYNX controller, by Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga, Arend Rensink. Accepted in the International Journal on Software Tools for Technology Transfer (STTT). Link to article.
• WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs, by Stefano M. Nicoletti, E. Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi and Mariëlle Stoelinga. Accepted for the 37th International Conference on Advanced Information Systems Engineering (CAiSE 2025)
• Introducing automated testing to video game development via Behaviour-Driven Development, by Michael Mulder, Petra van den Bos. Accepted for the 21st European Conference on Modelling Foundations and Applications (ECMFA) as part of STAF 2025 (Software Technologies: Applications and Foundations)
• Team effectiveness research: evolution, trends, and future directions. A three-decade systematic review, by Yeray Barrios Fleitas, Marcella A.M.G. Hoogeboom, Tessa H.S.Eysink, and Arend Rensink. Accepted in Small Group Research
• Verified Parameterized Choreographies, by Robert Rubbens, Petra van den Bos, Marieke Huisman. Accepted for COORDINATION 2025
• Improving JSON Schema Inference by Incorporating User Inputs, by Stijn Broekhuis, Vadim Zaytsev. Post-proceedings of BENEVOL 2024. February 2025
• Mining Frequent Structures in Conceptual Models, by Mattia Fumagalli, Tiago Prince Sales, Pedro Paulo Favato Barcelos, Giovanni Micale, Philipp-Lorenz Glaser, Dominik Bork, Vadim Zaytsev, Diego Calvanese, Giancarlo Guizzardi. Accepted in SoSyM 2025 (in print)
• Affective Mirroring in Video Game NPCs: A Pilot Study Evaluating Player Engagement, by Hana Šinković, Marcus Gerhold, Marcello Gómez-Maureira. Accepted for Foundations of Digital Games (FDG)