Academic Journal
Q3Science of Computer Programming
About Science of Computer Programming
Science of Computer Programming is a scholarly journal published by Elsevier B.V.. SCImago 2025 lists it in Q3, with an SJR of 0.387 and H-index of 71.
Coverage: 1981-2026. Research categories: Computational Theory and Mathematics (Q3); Information Systems (Q3); Modeling and Simulation (Q3); Software (Q3).
Source-backed journal facts
Topics in published research
Formal Methods in Verification; Logic, programming, and type systems; Advanced Software Engineering Methodologies; Software Engineering Research; Software Testing and Debugging Techniques; Model-Driven Software Engineering Techniques.
OpenAlex classifies topics from published works. These topics are not the publisher’s official aims and scope.
Reported open-access list prices
2,600.00 USD; 2,430.00 EUR; 2,080.00 GBP; 322,480.00 JPY
APC list prices reported by OpenAlex, which obtains this information from DOAJ. Confirm current charges, taxes, waivers and eligibility with the publisher; this is not a fee quotation.
Source: OpenAlex source record. Retrieved 2026-10-03. Source record updated 2026-10-02. OpenAlex metrics are different from SCImago metrics and the Clarivate Journal Impact Factor.
Journal Metrics
Quartile, SJR and the listed SCImago H-index use the 2025 imported SCImago dataset. A quartile may vary by subject category. Values without a source or reporting year are unverified historical entries. Verify the current Journal Impact Factor with Clarivate or the publisher before using it.
Aims & Scope
The publisher’s official aims and scope have not yet been verified for this profile. Use the journal website to check subject fit and accepted article types before submitting.
Recent Research Articles
Latest publications matched automatically by ISSN.
Slicing assisted program verification: An empirical study
Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang et al.
2027-02 · DOI: 10.1016/j.scico.2026.103569Synergistic program analyzer
Anshuman Dhuliya, Raghavan Komondoor, Uday Khedker
2027-02 · DOI: 10.1016/j.scico.2026.103570An empirical study on the capability of LLMs in decomposing bug reports
Zhiyuan Chen, Vanessa Nava-Camal, Ahmad D. Suleiman, Yiming Tang et al.
2027-02 · DOI: 10.1016/j.scico.2026.103556Project Emerge: A demonstrator for self-organizing robot teams
Nicolas Farabegoli, Gianluca Aguzzi, Martina Baiardi, Angela Cortecchia et al.
2027-02 · DOI: 10.1016/j.scico.2026.103559Low-resource security patch identification based on cumulative learning and knowledge distillation
Jiajun Tong, Zhixiao Wang, Xiaobin Rui
2027-02 · DOI: 10.1016/j.scico.2026.103558Preface: Tools featured at the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025
Phil McMinn, Domenico Bianculli, Porfirio Tramontana
2027-01 · DOI: 10.1016/j.scico.2026.103553uvl2dimacs: Optimized translation from universal variability language into Boolean logic
Ruben Heradio, David Fernandez-Amoros, Ismael Abad-Cardiel, Ernesto Aranda-Escolástico et al.
2027-01 · DOI: 10.1016/j.scico.2026.103549Retrieval-augmented large language models for automated story point estimation across agile projects
Anıl Sezgin
2027-01 · DOI: 10.1016/j.scico.2026.103557Concurrent Distributed Systems Beyond Monotonicity
Manfred Broy
2027-01 · DOI: 10.1016/j.scico.2026.103450Fault modeling analysis of SaaS application software modules based on big data tendency prediction
Li Zhang, Xiaoyu Wang
2027-01 · DOI: 10.1016/j.scico.2026.103538From agent-oriented modelling to cyber-physical implementation: A model-driven approach
Claudio Navarro, Lorenzo Devia, Jose E. Labra Gayo, Carlos Cares et al.
2027-01 · DOI: 10.1016/j.scico.2026.103554Correct pattern-based development through refinements and predicate transformers
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
2027-01 · DOI: 10.1016/j.scico.2026.103550PRIME: Semantic-aware microbenchmark prioritization via retrieval, inference, and multidimensional evaluation
Jie Chen, Dandan He, Shijie Li, Dandan Wang et al.
2027-01 · DOI: 10.1016/j.scico.2026.103551Method-level technical debt detection based on source code and comments
Dongjin Yu, Wangliang Yan, Yihang Xu, Xin Chen et al.
2027-01 · DOI: 10.1016/j.scico.2026.103540Editorial Board
2027-01 · DOI: 10.1016/s0167-6423(26)00130-9Extending the data type of common meadows: The case of specifying entropy
Jan A. Bergstra, John V. Tucker
2027-01 · DOI: 10.1016/j.scico.2026.103555Testing compositionality
Gijs van Cuyck, Lars van Arragon, Jan Tretmans
2027-01 · DOI: 10.1016/j.scico.2026.103537Justin: Integration of heterogeneous CPU/memory scaling in Apache Flink and its Kubernetes support
Donatien Schmitz, Guillaume Rosinosky, Etienne Rivière
2027-01 · DOI: 10.1016/j.scico.2026.103542NLP Techniques for software debugging tasks: A systematic literature review covering bug report analysis, bug reproduction, and localization
Lutfun Nahar Lota, Tarannum Shaila Zaman, Mirza Mohammad Azwad, Labiba Farah et al.
2027-01 · DOI: 10.1016/j.scico.2026.103552An empirical study of neural network based graph representations for software defect prediction
Zhiqiang Li, Yanwei Xiang, Jie Ren, Hongyu Zhang et al.
2027-01 · DOI: 10.1016/j.scico.2026.103541Reviews
Community Reviews
Version History
October 4, 2026 at 9:24 pm
October 2, 2026