Volume 25, no. 2 ( 2026)

OPEN REGULAR ISSUE

Editorial

• Önder Babur, Sébastien Mosser, Alfonso Pierantonio, Selling Shovels in the LLM Gold Rush: Why Software Engineering Research Risks Missing the Real Transformation, pp. 1-6, PDF, DOI.

Articles

• Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Redouane Benaini, Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B, pp. 2:7-36, PDF, DOI.
• Lorenzo Bettini, Implementing a Java testing framework from scratch without reflection, pp. 2:37-65, PDF, DOI.