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

Article	Citations
Auto-active verification of distributed systems and specification refinements with Why3-do	55
Social debt in software development environments: A systematic literature review	49
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills	33
Towards partial monitoring: Never too early to give in	27
ICCheck: A Portable, Language-agnostic Tool for Synchronizing Code Clones	21
Revealing unseen differences: A change metric perspective on deep learning software lifecycle for fine-tuning data debugging	21
ModelSet: A labelled dataset of software models for machine learning	16
Encoding TLA+ proof obligations safely for SMT	14
Has cross-project defect prediction truly progressed? A five-year field diagnosis challenging the state-of-the-art	14
Neighborhood contrastive learning-based graph neural network for bug triaging	13
The complexity of evaluating nfer	13
An adaptive pairwise testing algorithm based on deep reinforcement learning	13
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies	13
Asynchronous unfold/fold transformation for fixpoint logic	13
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)	12
SolAR: Automated test-suite generation for solidity smart contracts	12
A model-checker exploiting structural reductions even with stutter sensitive LTL	12
Editorial Board	12
Editorial Board	11
Using word embedding and convolution neural network for bug triaging by considering design flaws	11
Toward a novel taxonomy to capture code smells caused by refactoring	11
A pragma based C++ framework for hybrid quantum/classical computation	11
Preface for NLBSE’24: Natural language-based software to support software engineering processes	11
Graph neural network-based long method and blob code smell detection	10
CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing	10

Orchestration for quantum services: The power of load balancing across multiple service providers	10
Interleaving semantics and verification of UML 2 dynamic interactions using process algebra	10
AmbieGen: A search-based framework for autonomous systems testing	10
Co-evolution of UML sequence diagrams through an ATL rule-based approach with semantic preservation in Maude	9
Does the compiler or interpreter version influence the energy consumption of programming languages?	9
Low-code design of collective systems with ScaFi-Blocks	9
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
The Modeling Assistant Recommender: A UML class diagram recommender system	9
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	8
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data	8
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	8
Towards a set-theoretic model of security policies for database-defined networks	8
Path-guided conformance test case generation for models with data and time using symbolic execution techniques	8
Editorial Board	8
Using capabilities for strict runtime invariant checking	8
ACSmt: A plugin for eclipse papyrus to model systems of systems	8
Synthesizing LTL contracts from component libraries using rich counterexamples	8
State merging for concolic testing of event-driven applications	8
Pattern-based circular reference detection in Python	8
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	8
Random test generators demystified: Differences and potential for compiler reliability	7
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	7
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
DETOUR: A tool for regression testing of autonomous driving systems	7
ITS4SDC: Intelligent test road selector for self-driving cars	7
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	7
Exhaustive property oriented model-based testing with symbolic finite state machines	7
Assessing the coverage of W-based conformance testing methods over code faults	7
Systematicity and generalizability in business process redesign methodologies: A systematic literature review	7
DopSteg: Program steganography using data-oriented programming	7
LayoutOptimizer: A layout rendering performance optimizer for Android application	6
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	6
Editorial Board	6
Detecting duplicate vulnerability records across databases	6
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	6
An empirical study of code clones: Density, entropy, and patterns	6
Contract Automata Library	6
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	6
Out of step: Code clone detection for mobile apps across different language codebases	6
Software project management tools in practice in IT industry of Bangladesh	6
Editorial Board	6
Multi-objective differential evolution in the generation of adversarial examples	6
How accessibility affects other quality attributes of software? A case study of GitHub	6
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	6
“Your AI is impressive, but my code does not have any bugs” managing false positives in industrial contexts	6
Editorial Board	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
Formal verification of IoT applications using rewriting logic: An MDE-based approach	5
WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL)	5

A fairness-based refinement strategy to transform liveness properties in Event-B models	5
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	5
Concurrent Distributed Systems Beyond Monotonicity	5
Optimized greedy algorithm for efficient test case prioritization	5
Program generation meets program verification: A case study on number-theoretic transform	5
Editorial Board	5
CauMon: A tool for online monitoring against signal temporal logic	5
Reversing an imperative concurrent programming language	5
Automatically checking visual conformance for pushdown reactive systems based on VPLs	5
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	5
RepoAI: Automated code refactoring through multi-agent LLM orchestration and retrieval-augmented generation	5
Mutation-based fuzzer for the swift compiler	5
Intrathread method orders based adaptive testing of concurrent objects	5
Applying large language models to issue classification: Revisiting with extended data and new models	5
Model independent refusal trace testing	5
SBD: Securing safe rust automatically from unsafe rust	5
Vamos: Middleware for best-effort third-party monitoring	5
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	5
A toolchain for domestic heat-pump control using Uppaal Stratego	5
Preface for “special issue on advances in software aspects of cyber-physical systems”	5
MMINT-A: A framework for model-based safety assurance	5
Stream-based monitoring with RTLola	5
Editorial Board	4
Design and Evaluation of Coconut: Typestates for C++	4
PerturbationDrive: A Framework for perturbation-based testing of ADAS	4
IPFS requested content location service	4
Smart contract vulnerability detection using wide and deep neural network	4
Verifying safety of neural networks from topological perspectives	4
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	4
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	4
A mechanized semantics for component-based systems in the HAMR AADL runtime	4
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?	4
Towards a systematic approach to manual annotation of code smells	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
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 tool	4
A decentralized analysis of multiparty protocols	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
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	4
Preface for “Selected Papers from the 27th Ibero-American Conference on Software Engineering (CIbSE 2024)”	4
Automatic identification of extrinsic bug reports for just-in-time bug prediction	4
Extending the EB4EB framework with parameterised events	4
Practical deductive verification of OCaml programs: The Cameleer tool	4
Gaiwan: A size-polymorphic typesystem for GPU programs	4
A program logic for fresh name generation	4
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	4
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	4
MetaOCaml: ten years later – System description	4
Forward- or reverse-mode automatic differentiation: What's the difference?	4