Science of Computer Programming

Papers
(The H4-Index of Science of Computer Programming is 14. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-10-01 to 2025-10-01.)
ArticleCitations
ModelSet: A labelled dataset of software models for machine learning59
Test case prioritization with neuron valuation based pattern44
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills27
Neighborhood contrastive learning-based graph neural network for bug triaging19
Asynchronous unfold/fold transformation for fixpoint logic19
Revisiting occurrence typing19
Towards partial monitoring: Never too early to give in18
Orchestration for quantum services: The power of load balancing across multiple service providers15
Encoding TLA+ proof obligations safely for SMT15
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)15
SolAR: Automated test-suite generation for solidity smart contracts14
A pragma based C++ framework for hybrid quantum/classical computation14
Editorial Board14
Graph neural network-based long method and blob code smell detection14
1.7616560459137