Journal Report

SCIENCE OF COMPUTER PROGRAMMING

Download PDF
Journal Information
Journal Title
SCIENCE OF COMPUTER PROGRAMMING
Publisher
ELSEVIER
ISSN
0167-6423
E-ISSN
1872-7964
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
UNI-CSeq: A tool for interrupt-driven program verification and falsification
Yuan Zhang, Ying Xu, Masahiko Watanabe et al.
2027-3 Vol. 257 Pages 103583
DOI: 10.1016/j.scico.2026.103583
A systematic mapping study of software vulnerability proof-of-concepts: Data sources, roles, applications, and methods
Jiangtao Lu, Min Gu, Jinchang Hu et al.
2027-3 Vol. 257 Pages 103582
DOI: 10.1016/j.scico.2026.103582
Assessing and refining user stories using large language models: a replication study in a real-world organizational software-development setting
Erika Hernández-Agüero, Christian Quesada-López, José P. Chaves-Sánchez
2027-3 Vol. 257 Pages 103575
DOI: 10.1016/j.scico.2026.103575
Slicing assisted program verification: An empirical study
Wenjian Chai, Rongjie Yan, Wenhui Zhang et al.
2027-2 Vol. 256 Pages 103569
DOI: 10.1016/j.scico.2026.103569
Synergistic program analyzer
Anshuman Dhuliya, Raghavan Komondoor, Uday Khedker
2027-2 Vol. 256 Pages 103570
DOI: 10.1016/j.scico.2026.103570
A logic of bounded time for program synthesis
Milad Joudakizadeh, Anatoly Petrovich Beltiukov
2027-2 Vol. 256 Pages 103573
DOI: 10.1016/j.scico.2026.103573
Deconstructing oversampling in software defect prediction: Algorithm constraints, trade-offs, and new baselines
Passakorn Phannachitta
2027-2 Vol. 256 Pages 103572
DOI: 10.1016/j.scico.2026.103572
Musubito: Deterministic execution lineage for AI-Enabled Python workflows
Domenico Altieri
2027-2 Vol. 256 Pages 103571
DOI: 10.1016/j.scico.2026.103571
An empirical study on the capability of LLMs in decomposing bug reports
Zhiyuan Chen, Vanessa Nava-Camal, Ahmad D. Suleiman et al.
2027-2 Vol. 256 Pages 103556
DOI: 10.1016/j.scico.2026.103556
Project Emerge: A demonstrator for self-organizing robot teams
Nicolas Farabegoli, Gianluca Aguzzi, Martina Baiardi et al.
2027-2 Vol. 256 Pages 103559
DOI: 10.1016/j.scico.2026.103559
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 3, 2026 12:02