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

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

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems	9
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	9
Low-code design of collective systems with ScaFi-Blocks	9
AmbieGen: A search-based framework for autonomous systems testing	8
Path-guided conformance test case generation for models with data and time using symbolic execution techniques	8
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data	8
ACSmt: A plugin for eclipse papyrus to model systems of systems	8
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	8
Does the compiler or interpreter version influence the energy consumption of programming languages?	8
Synthesizing LTL contracts from component libraries using rich counterexamples	8
State merging for concolic testing of event-driven applications	8
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	8
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	8
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	8
Pattern-based circular reference detection in Python	8
Editorial Board	8
Using capabilities for strict runtime invariant checking	8
Multi-objective differential evolution in the generation of adversarial examples	7
DopSteg: Program steganography using data-oriented programming	7
Systematicity and generalizability in business process redesign methodologies: A systematic literature review	7
An empirical study of code clones: Density, entropy, and patterns	7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	7
Assessing the coverage of W-based conformance testing methods over code faults	7
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	7
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	7
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
Random test generators demystified: Differences and potential for compiler reliability	7
Editorial Board	6
How accessibility affects other quality attributes of software? A case study of GitHub	6
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	6
Compositional noninterference on hardware weak memory models	6
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	6
Out of step: Code clone detection for mobile apps across different language codebases	6
“Your AI is impressive, but my code does not have any bugs” managing false positives in industrial contexts	6
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	6
LayoutOptimizer: A layout rendering performance optimizer for Android application	6
Detecting duplicate vulnerability records across databases	6
Editorial Board	6
SBD: Securing safe rust automatically from unsafe rust	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
Contract Automata Library	6
Exhaustive property oriented model-based testing with symbolic finite state machines	6
Software project management tools in practice in IT industry of Bangladesh	6
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	6
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	6
Editorial Board	5
Preface for “Selected Papers from the 27th Ibero-American Conference on Software Engineering (CIbSE 2024)”	5
A fairness-based refinement strategy to transform liveness properties in Event-B models	5
Applying large language models to issue classification: Revisiting with extended data and new models	5
Vamos: Middleware for best-effort third-party monitoring	5

WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL)	5
Reversing an imperative concurrent programming language	5
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	5
A mechanized semantics for component-based systems in the HAMR AADL runtime	5
MMINT-A: A framework for model-based safety assurance	5
Formal verification of IoT applications using rewriting logic: An MDE-based approach	5
Intrathread method orders based adaptive testing of concurrent objects	5
Model independent refusal trace testing	5
Editorial Board	5
Automatic identification of extrinsic bug reports for just-in-time bug prediction	5
Program generation meets program verification: A case study on number-theoretic transform	5
A toolchain for domestic heat-pump control using Uppaal Stratego	5
Concurrent Distributed Systems Beyond Monotonicity	5
Deductive verification of solidity smart contracts with SSCalc	4
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	4
Exploring complex models with picto web	4
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	4
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?	4
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	4
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	4
A program logic for fresh name generation	4
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	4
Report to the readership	4
Editorial Board	4
A programming framework for distributed computing continuum systems	4
MetaOCaml: ten years later – System description	4
Smart contract vulnerability detection using wide and deep neural network	4
A decentralized analysis of multiparty protocols	4
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	4
Forward- or reverse-mode automatic differentiation: What's the difference?	4
IPFS requested content location service	4
Automated replication of tuple spaces via static analysis	4
PerturbationDrive: A Framework for Perturbation-Based Testing of ADAS	4
Denotational and operational semantics for interaction languages: Application to trace analysis	4
Gaiwan: A size-polymorphic typesystem for GPU programs	4
Towards a systematic approach to manual annotation of code smells	4
Design and Evaluation of Coconut: Typestates for C++	4
Verifying safety of neural networks from topological perspectives	4
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points	4
Extending the EB4EB framework with parameterised events	4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	4
S2O: A smart objects orchestrator framework based on the web of things	4