- 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.
- Michael Hanus. Inferring non-failure conditions for declarative programs. Science of Computer Programming, 250:103416, 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.
- Jan-Christoph Kassing, Jürgen Giesl. The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting. Science of Computer Programming, 251:103417, 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.
- Elham Azhir, Morteza Zakeri, Yasaman Abedini, Mojtaba Mostafavi Ghahfarokhi. QualCode: A Data-Driven Framework for Predicting Software Maintainability Based on ISO/IEC 25010. Science of Computer Programming, 250:103399, 2026.
- Sergio Di Meglio, Luigi Libero Lucio Starace, Sergio Di Martino. Semi-automated generation of web app performance tests from end-to-end GUI-level tests with E2E-Loader. Science of Computer Programming, 252:103461, 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.