- 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.
- 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.
- Gianluca Aguzzi, Matteo Cerioni, Mirko Viroli. Low-code design of collective systems with ScaFi-Blocks. Science of Computer Programming, 247:103356, 2026.
- Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro. tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies. Science of Computer Programming, 247:103349, 2026.
- Dominique Méry, Rosemary Monahan. Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023. Science of Computer Programming, 247:103321, 2026.
- Daniel Cruz, Amanda Santana, Eduardo Figueiredo 0001. Evaluating a continuous feedback strategy to enhance machine learning code smell detection. Science of Computer Programming, 247:103346, 2026.
- Zili Wang 0004, Laura P. Gamboa Guzman, Kristin Y. Rozier. WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL). Science of Computer Programming, 248:103365, 2026.
- Yang Wang, Zeyu Lu, Beining Wu, Yibiao Yang, Hongmin Lu, Yuming Zhou. Random test generators demystified: Differences and potential for compiler reliability. Science of Computer Programming, 247:103359, 2026.
- Elizabeth Scott, Adrian Johnstone. Earley table traversing parsers. Science of Computer Programming, 247:103335, 2026.