- Rezvan Salimi, Sadoon Azizi, Amir Rastegari. Profit-aware scheduling for time-sensitive applications in heterogeneous multi-server systems. Science of Computer Programming, 248:103390, 2026.
- Ruibang Liu, Hongming Liu, Guoqiang Li. Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning. Science of Computer Programming, 247:103361, 2026.
- Linlin Wen, Chengying Mao, Dave Towey, Jifu Chen 0001. An adaptive pairwise testing algorithm based on deep reinforcement learning. Science of Computer Programming, 247:103353, 2026.
- Zhehao Zhao, Yifeng Chen. A programming framework for distributed computing continuum systems. Science of Computer Programming, 248:103366, 2026.
- Jiacheng Jiang, Cheng Wen 0002, Zhiyuan Fu, Shengchao Qin. CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing. Science of Computer Programming, 249:103395, 2026.
- Cláudio Belo Lourenço, Jorge Sousa Pinto. Auto-active verification of distributed systems and specification refinements with Why3-do. Science of Computer Programming, 247:103352, 2026.
- Anton Wijs. An overview of research with Slco on seamless integration of formal verification into model-driven software engineering. Science of Computer Programming, 248:103386, 2026.
- Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li 0001. Enhancing automated loop invariant generation for complex programs with large language models. Science of Computer Programming, 248:103387, 2026.
- Houda Boukham, Guido Wachsmuth, Oskar van Rest, Hassan Chafi, Sungpack Hong, Martijn Dwars, Arnaud Delamare, Hamza Boucherit, Dalila Chiadmi. Domain-specific language engineering for large-scale graph analytics using Spoofax: An industry report. Science of Computer Programming, 248:103377, 2026.
- Gianluca Aguzzi, Matteo Cerioni, Mirko Viroli. Low-code design of collective systems with ScaFi-Blocks. Science of Computer Programming, 247:103356, 2026.