- Li Zhang, Xiaoyu Wang. Fault modeling analysis of SaaS application software modules based on big data tendency prediction. Science of Computer Programming, 255:103538, 2027.
- Lutfun Nahar Lota, Tarannum Shaila Zaman, Mirza Mohammad Azwad, Labiba Farah, Abrar Chowdhury, Zaarin Anjum, Chadni Islam, Abu Raihan Mostofa Kamal. NLP Techniques for software debugging tasks: A systematic literature review covering bug report analysis, bug reproduction, and localization. Science of Computer Programming, 255:103552, 2027.
- Dongjin Yu, Wangliang Yan, Yihang Xu, Xin Chen, Bin Hu 0034, Jie Chen 0060, Sicheng Li. Method-level technical debt detection based on source code and comments. Science of Computer Programming, 255:103540, 2027.
- Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Correct pattern-based development through refinements and predicate transformers. Science of Computer Programming, 255:103550, 2027.
- Claudio Navarro, Lorenzo Devia, José Emilio Labra Gayo, Carlos Cares. From agent-oriented modelling to cyber-physical implementation: A model-driven approach. Science of Computer Programming, 255:103554, 2027.
- Zhiqiang Li 0003, Yanwei Xiang, Jie Ren 0007, Hongyu Zhang 0002, Fumin Qi, Xiao-Yuan Jing. An empirical study of neural network based graph representations for software defect prediction. Science of Computer Programming, 255:103541, 2027.
- Ruben Heradio, David Fernández-Amorós, Ismael Abad Cardiel, Ernesto Aranda-Escolástico. uvl2dimacs: Optimized translation from universal variability language into Boolean logic. Science of Computer Programming, 255:103549, 2027.
- Gijs van Cuyck, Lars van Arragon, Jan Tretmans. Testing compositionality. Science of Computer Programming, 255:103537, 2027.
- Donatien Schmitz, Guillaume Rosinosky, Etienne Rivière. Justin: Integration of heterogeneous CPU/memory scaling in Apache Flink and its Kubernetes support. Science of Computer Programming, 255:103542, 2027.
- Gilde Valeria Rodríguez, Miguel Piña, Armando Castañeda. A reliable non-intrusive runtime verification framework for linearizability. Science of Computer Programming, 254:103509, 2026.