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-11-01 to 2025-11-01.)
ArticleCitations
Test case prioritization with neuron valuation based pattern60
Neighborhood contrastive learning-based graph neural network for bug triaging46
ModelSet: A labelled dataset of software models for machine learning29
Encoding TLA+ proof obligations safely for SMT20
Revisiting occurrence typing19
Asynchronous unfold/fold transformation for fixpoint logic19
Towards partial monitoring: Never too early to give in18
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills16
The complexity of evaluating nfer15
Fast rule-based graph programs15
SolAR: Automated test-suite generation for solidity smart contracts15
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)14
A model-checker exploiting structural reductions even with stutter sensitive LTL14
Toward a novel taxonomy to capture code smells caused by refactoring14
Editorial Board14
0.16827583312988