Science of Computer Programming

Papers
(The H4-Index of Science of Computer Programming is 13. 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 2022-08-01 to 2026-08-01.)
ArticleCitations
Auto-active verification of distributed systems and specification refinements with Why3-do55
Social debt in software development environments: A systematic literature review49
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills33
Towards partial monitoring: Never too early to give in27
ICCheck: A Portable, Language-agnostic Tool for Synchronizing Code Clones21
Revealing unseen differences: A change metric perspective on deep learning software lifecycle for fine-tuning data debugging21
ModelSet: A labelled dataset of software models for machine learning16
Encoding TLA+ proof obligations safely for SMT14
Has cross-project defect prediction truly progressed? A five-year field diagnosis challenging the state-of-the-art14
An adaptive pairwise testing algorithm based on deep reinforcement learning13
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies13
Asynchronous unfold/fold transformation for fixpoint logic13
Neighborhood contrastive learning-based graph neural network for bug triaging13
The complexity of evaluating nfer13
2.049054145813