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