Science of Computer Programming

Papers
(The TQCC of Science of Computer Programming is 3. 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-05-01 to 2025-05-01.)
ArticleCitations
Neighborhood contrastive learning-based graph neural network for bug triaging93
Towards partial monitoring: Never too early to give in59
Revisiting occurrence typing50
Formal Techniques for Safety-Critical Systems (FTSCS 2018)34
Encoding TLA+ proof obligations safely for SMT25
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills23
ModelSet: A labelled dataset of software models for machine learning19
Asynchronous unfold/fold transformation for fixpoint logic19
Test case prioritization with neuron valuation based pattern18
Fast rule-based graph programs16
A pragma based C++ framework for hybrid quantum/classical computation16
Orchestration for quantum services: The power of load balancing across multiple service providers14
A model-checker exploiting structural reductions even with stutter sensitive LTL13
Editorial Board13
Editorial Board13
Using word embedding and convolution neural network for bug triaging by considering design flaws12
SolAR: Automated test-suite generation for solidity smart contracts12
The complexity of evaluating nfer12
Toward a novel taxonomy to capture code smells caused by refactoring12
KinZ an Azure Kinect toolkit for Python and Matlab11
AmbieGen: A search-based framework for autonomous systems testing11
The Modeling Assistant Recommender: A UML class diagram recommender system11
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems11
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)10
Editorial Board10
Safety assurance of an industrial robotic control system using hardware/software co-verification10
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report10
State merging for concolic testing of event-driven applications9
Pattern-based circular reference detection in Python9
Experiences on teaching alloy with an automated assessment platform9
Synthesizing LTL contracts from component libraries using rich counterexamples9
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study9
Evaluating the impact of feature selection consistency in software prediction8
Reversible computing and implicit computational complexity8
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data8
Using capabilities for strict runtime invariant checking7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI7
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis7
ACSmt: A plugin for eclipse papyrus to model systems of systems7
Assessing the coverage of W-based conformance testing methods over code faults7
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)6
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology6
Editorial Board6
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications6
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties6
Are you of value to me? A partner selection reference method for software ecosystem orchestrators6
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring6
Minimizing Characterizing sets5
Multi-objective differential evolution in the generation of adversarial examples5
PAMELA: An annotation-based Java modeling framework5
Editorial Board5
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems5
Exhaustive property oriented model-based testing with symbolic finite state machines5
Contract Automata Library5
Editorial Board5
How accessibility affects other quality attributes of software? A case study of GitHub5
Editorial Board5
An empirical study of code clones: Density, entropy, and patterns5
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations5
Out of step: Code clone detection for mobile apps across different language codebases5
Editorial Board4
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm4
Reversing an imperative concurrent programming language4
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools4
Impacts of software community patterns on process and product: An empirical study4
MMINT-A: A framework for model-based safety assurance4
A toolchain for domestic heat-pump control using Uppaal Stratego4
Vamos: Middleware for best-effort third-party monitoring4
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019)4
A fairness-based refinement strategy to transform liveness properties in Event-B models4
Editorial Board4
Compositional noninterference on hardware weak memory models4
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs4
Formal verification of IoT applications using rewriting logic: An MDE-based approach4
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation4
Model independent refusal trace testing4
Program generation meets program verification: A case study on number-theoretic transform4
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator4
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)4
Editorial Board4
Mechanical incrementalization of typing algorithms4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 20213
IPFS requested content location service3
Several lifted abstract domains for static analysis of numerical program families3
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points3
Towards a systematic approach to manual annotation of code smells3
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)3
State identification for labeled transition systems with inputs and outputs3
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool3
Trylock, a case for temporal logic and eternity variables3
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking3
Denotational and operational semantics for interaction languages: Application to trace analysis3
Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study3
Editorial Board3
Predicting issue types on GitHub3
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations3
Specify and measure, cover and reveal: A unified framework for automated test generation3
Gaiwan: A size-polymorphic typesystem for GPU programs3
Verifying safety of neural networks from topological perspectives3
A program logic for fresh name generation3
Verification of concurrent code from synchronous specifications3
Smart contract vulnerability detection using wide and deep neural network3
Forward- or reverse-mode automatic differentiation: What's the difference?3
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection3
A decentralized analysis of multiparty protocols3
0.079908847808838