- Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger. Vamos: Middleware for best-effort third-party monitoring. Science of Computer Programming, 240:103212, 2025.
- Hossein Hojjat, Erika Ábrahám. Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023). Science of Computer Programming, 243:103244, 2025.
- Rosalie Defourné. Encoding TLA+ proof obligations safely for SMT. Science of Computer Programming, 239:103178, 2025.
- Fabiano Pecorelli, Vita Santa Barletta, Manuel A. Serrano. Preface for "Quantum Programming for Software Engineering (QP4SE)". Science of Computer Programming, 243:103257, 2025.
- Yue Wu, Zhentao He, Qingnan Wang, Yihui Wang, Huaxiao Liu. LayoutOptimizer: A layout rendering performance optimizer for Android application. Science of Computer Programming, 244:103287, 2025.
- Peiye Yang, Li Zhang, Qin Li, Xiang Gao, Yilong Yang 0001. OCLVerifer: Automated verification of OCL contracts in requirements models. Science of Computer Programming, 240:103197, 2025.
- Ali Samanipour, Omid Bushehrian, Gregorio Robles. MDAPW3: MDA-based development of blockchain-enabled decentralized applications. Science of Computer Programming, 239:103185, 2025.
- Minnan Zhang, Jingdong Jia, Luiz Fernando Capretz, Xin Hou, Huobin Tan. Graph neural network-based long method and blob code smell detection. Science of Computer Programming, 243:103284, 2025.
- Shweta 0002, Ratna Sanyal, Bibhas Ghoshal. A hybrid approach to extract conceptual diagram from software requirements. Science of Computer Programming, 239:103186, 2025.
- Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe. Maximizing reachability probabilities in rectangular automata with random events. Science of Computer Programming, 240:103213, 2025.