OOIR: Observatory of International Research

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 2022-01-01 to 2026-01-01.)

Article	Citations
Revisiting occurrence typing	48
Asynchronous unfold/fold transformation for fixpoint logic	31
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills	21
Test case prioritization with neuron valuation based pattern	21
Neighborhood contrastive learning-based graph neural network for bug triaging	19
Towards partial monitoring: Never too early to give in	16
Auto-active verification of distributed systems and specification refinements with Why3-do	16
ModelSet: A labelled dataset of software models for machine learning	16
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies	15
An adaptive pairwise testing algorithm based on deep reinforcement learning	15
The complexity of evaluating nfer	15
Encoding TLA+ proof obligations safely for SMT	15
SolAR: Automated test-suite generation for solidity smart contracts	14
Editorial Board	14
A model-checker exploiting structural reductions even with stutter sensitive LTL	13
Interleaving semantics and verification of UML 2 dynamic interactions using process algebra	13
A pragma based C++ framework for hybrid quantum/classical computation	13
Using word embedding and convolution neural network for bug triaging by considering design flaws	13
Orchestration for quantum services: The power of load balancing across multiple service providers	13
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)	13
Fast rule-based graph programs	13
Graph neural network-based long method and blob code smell detection	13
Toward a novel taxonomy to capture code smells caused by refactoring	12
The Modeling Assistant Recommender: A UML class diagram recommender system	12
AmbieGen: A search-based framework for autonomous systems testing	12

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems	11
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	11
Does the compiler or interpreter version influence the energy consumption of programming languages?	11
Low-code design of collective systems with ScaFi-Blocks	11
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	11
Synthesizing LTL contracts from component libraries using rich counterexamples	10
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data	10
Path-guided conformance test case generation for models with data and time using symbolic execution techniques	10
State merging for concolic testing of event-driven applications	10
Pattern-based circular reference detection in Python	9
Assessing the coverage of W-based conformance testing methods over code faults	9
Safety assurance of an industrial robotic control system using hardware/software co-verification	9
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	9
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	8
DopSteg: Program steganography using data-oriented programming	8
Using capabilities for strict runtime invariant checking	8
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	8
Editorial Board	8
ACSmt: A plugin for eclipse papyrus to model systems of systems	8
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	7
An empirical study of code clones: Density, entropy, and patterns	7
LayoutOptimizer: A layout rendering performance optimizer for Android application	7
How accessibility affects other quality attributes of software? A case study of GitHub	7
Random test generators demystified: Differences and potential for compiler reliability	7
Evaluating the impact of feature selection consistency in software prediction	7
Exhaustive property oriented model-based testing with symbolic finite state machines	7
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	7
Multi-objective differential evolution in the generation of adversarial examples	7
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	7
Reversible computing and implicit computational complexity	7
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
Contract Automata Library	7
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	7
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	6
Reversing an imperative concurrent programming language	6
MMINT-A: A framework for model-based safety assurance	6
Detecting duplicate vulnerability records across databases	6
Compositional noninterference on hardware weak memory models	6
Out of step: Code clone detection for mobile apps across different language codebases	6
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	6
A fairness-based refinement strategy to transform liveness properties in Event-B models	6
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	6
Editorial Board	6
Software project management tools in practice in IT industry of Bangladesh	6
Editorial Board	6
“Your AI is impressive, but my code does not have any bugs” managing false positives in industrial contexts	6
SBD: Securing safe rust automatically from unsafe rust	6
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	6
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 study	6
Editorial Board	6
Model independent refusal trace testing	5
Forward- or reverse-mode automatic differentiation: What's the difference?	5
Applying large language models to issue classification: Revisiting with extended data and new models	5
Extending the EB4EB framework with parameterised events	5
Formal verification of IoT applications using rewriting logic: An MDE-based approach	5
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	5
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	5
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	5
A toolchain for domestic heat-pump control using Uppaal Stratego	5
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?	5
Vamos: Middleware for best-effort third-party monitoring	5
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points	5
A mechanized semantics for component-based systems in the HAMR AADL runtime	5
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	5
Editorial Board	5
Editorial Board	5
Program generation meets program verification: A case study on number-theoretic transform	5
Towards a systematic approach to manual annotation of code smells	5
Editorial Board	5
A decentralized analysis of multiparty protocols	5
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	5
Deductive verification of solidity smart contracts with SSCalc	4
Automated replication of tuple spaces via static analysis	4
IPFS requested content location service	4
Gaiwan: A size-polymorphic typesystem for GPU programs	4
A program logic for fresh name generation	4
Exploring complex models with picto web	4
Editorial Board	4
Report to the readership	4
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	4
Trylock, a case for temporal logic and eternity variables	4
Smart contract vulnerability detection using wide and deep neural network	4
Several lifted abstract domains for static analysis of numerical program families	4
S2O: A smart objects orchestrator framework based on the web of things	4
TerGEC: A graph enhanced contrastive approach for program termination analysis	4
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	4
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	4
Verifying safety of neural networks from topological perspectives	4
Denotational and operational semantics for interaction languages: Application to trace analysis	4