Science of Computer Programming

Papers
(The TQCC of Science of Computer Programming is 4. 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
Asynchronous unfold/fold transformation for fixpoint logic19
Revisiting occurrence typing19
Towards partial monitoring: Never too early to give in18
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills16
Fast rule-based graph programs15
SolAR: Automated test-suite generation for solidity smart contracts15
The complexity of evaluating nfer15
Editorial Board14
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
AmbieGen: A search-based framework for autonomous systems testing13
Graph neural network-based long method and blob code smell detection13
Using word embedding and convolution neural network for bug triaging by considering design flaws13
KinZ an Azure Kinect toolkit for Python and Matlab13
A pragma based C++ framework for hybrid quantum/classical computation13
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems13
Orchestration for quantum services: The power of load balancing across multiple service providers13
Editorial Board13
The Modeling Assistant Recommender: A UML class diagram recommender system12
Does the compiler or interpreter version influence the energy consumption of programming languages?12
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report11
Path-guided conformance test case generation for models with data and time using symbolic execution techniques11
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)11
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data10
State merging for concolic testing of event-driven applications10
Pattern-based circular reference detection in Python10
Synthesizing LTL contracts from component libraries using rich counterexamples10
Assessing the coverage of W-based conformance testing methods over code faults9
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties9
Safety assurance of an industrial robotic control system using hardware/software co-verification9
Reversible computing and implicit computational complexity9
Experiences on teaching alloy with an automated assessment platform9
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring8
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)8
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis8
ACSmt: A plugin for eclipse papyrus to model systems of systems8
DopSteg: Program steganography using data-oriented programming8
Using capabilities for strict runtime invariant checking8
Editorial Board8
Are you of value to me? A partner selection reference method for software ecosystem orchestrators7
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems7
Multi-objective differential evolution in the generation of adversarial examples7
Evaluating the impact of feature selection consistency in software prediction7
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications7
LayoutOptimizer: A layout rendering performance optimizer for Android application7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI7
An empirical study of code clones: Density, entropy, and patterns7
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology7
Exhaustive property oriented model-based testing with symbolic finite state machines6
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)6
Impacts of software community patterns on process and product: An empirical study6
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools6
Editorial Board6
Editorial Board6
How accessibility affects other quality attributes of software? A case study of GitHub6
Out of step: Code clone detection for mobile apps across different language codebases6
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations6
SBD: Securing safe rust automatically from unsafe rust6
Contract Automata Library6
Editorial Board6
Compositional noninterference on hardware weak memory models6
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator6
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs6
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points5
Vamos: Middleware for best-effort third-party monitoring5
Forward- or reverse-mode automatic differentiation: What's the difference?5
A fairness-based refinement strategy to transform liveness properties in Event-B models5
Editorial Board5
Model independent refusal trace testing5
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation5
Modular unification of unilingual pointer analyses to multilingual FFI-based programs5
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?5
Program generation meets program verification: A case study on number-theoretic transform5
Formal verification of IoT applications using rewriting logic: An MDE-based approach5
A mechanized semantics for component-based systems in the HAMR AADL runtime5
Editorial Board5
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection5
Editorial Board5
A toolchain for domestic heat-pump control using Uppaal Stratego5
Reversing an imperative concurrent programming language5
MMINT-A: A framework for model-based safety assurance5
Trylock, a case for temporal logic and eternity variables4
Design and Evaluation of Coconut: Typestates for C++4
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)4
Smart contract vulnerability detection using wide and deep neural network4
Report to the readership4
Editorial Board4
Denotational and operational semantics for interaction languages: Application to trace analysis4
Deductive verification of solidity smart contracts with SSCalc4
A program logic for fresh name generation4
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations4
Towards a systematic approach to manual annotation of code smells4
IPFS requested content location service4
A decentralized analysis of multiparty protocols4
Gaiwan: A size-polymorphic typesystem for GPU programs4
An exploratory study on the usage of quantum programming languages4
Exploring complex models with picto web4
Extending the EB4EB framework with parameterised events4
Verifying safety of neural networks from topological perspectives4
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)4
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool4
Several lifted abstract domains for static analysis of numerical program families4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 20214
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework4
S2O: A smart objects orchestrator framework based on the web of things4
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents4
0.0625319480896