Science of Computer Programming

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
Deductive verification of solidity smart contracts with SSCalc	3
Using real-world scenarios to bridge training and practice in evidence-based software engineering: An extended evaluation	3
Reasoning about logical systems in the Coq proof assistant	3
Special issue on selected papers from the 19th International Conference on Formal Aspects of Component Software (FACS 2023)	3
Latch: Enabling large-scale automated testing on constrained systems	3
Special issue on ‘Software Engineering and Formal Methods’	3
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity	3
DPFuzz: A fuzz testing tool based on the guidance of defect prediction	3
An exploratory study on the usage of quantum programming languages	3
TerGEC: A graph enhanced contrastive approach for program termination analysis	3
S2O: A smart objects orchestrator framework based on the web of things	3
Denotational and operational semantics for interaction languages: Application to trace analysis	3
Editorial Board	3
Web Augmentation: A systematic mapping study	3
The sampling threat when mining generalizable inter-library usage patterns	3
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection	3
A text-based syntax completion method using LR parsing and its evaluation	3
A Configurable Software Model of a Self-Adaptive Robotic System	3
Editorial Board	3
Combining sequential feature test cases to generate sound tests for concurrent features	3
Automated replication of tuple spaces via static analysis	3
A programming framework for distributed computing continuum systems	3
Verification of forward simulations with thread-local, step-local proof obligations	3
Testing non-commutativity of reduce functions with multi-column inputs	3
Editorial Board	3
Editorial Board	3
Model checking with memoisation for fast overtaking planning	3
An ML-style module system for cross-stage type abstraction in multi-stage programming	3
Translation certification for smart contracts	3
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	3

Automatic detection of infeasible paths in large-scale program based on program summaries	3
Report to the readership	3
Scope determined (D) versus scope determining (G) requirements: A new significant categorization of requirements	2
Behavioural theory of reflective algorithms I: Reflective sequential algorithms	2
Baital: Sampling configurable systems with high t-wise coverage	2
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging	2
Preface Special Issue SCICO on HSCC2024-software	2
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving	2
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks	2
Machine learning models for predicting software design effort	2
JoT: A Jolie framework for testing microservices	2
LEMMA2Jolie: A tool to generate microservice APIs from domain models	2
Profit-aware scheduling for time-sensitive applications in heterogeneous multi-server systems	2
Model based component development and analysis with ComMA	2
Earley table traversing parsers	2
An empirical study to evaluate the impact of mindfulness on helpdesk employees	2
QualCode: A Data-Driven Framework for Predicting Software Maintainability Based on ISO/IEC 25010	2
Applying model-driven engineering to the domain of chatbots: The Xatkit experience	2
Prescriptive procedure for manual code smell annotation	2
Formal verification of timely knowledge propagation in airborne networks	2
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235	2
Editorial Board	2
Hybrid dynamical systems logic and its refinements	2
AutoArk: A model-based approach for ArkTS application code generation	2
Core Hybrid Event-B III: Fundamentals of a reasoning framework	2
Specification of paraconsistent transition systems, revisited	2
The CAOS framework for Scala: Computer-aided design of SOS	2
Understanding warnings generated by PMD and SonarQube, their rules and compliance to established coding standards	2
Controlling timed automata against MTL specifications with TACoS	2
Microservices simulator: An object-oriented framework for transactional causal consistency	2
Beyond Balance–Addressing class imbalance in fine-tuning deep learners	2
SSDTutor: A feedback-driven intelligent tutoring system for secure software development	2
PALM: An MCTS-based tool for testing unmanned aerial vehicles	2
Editorial Board	2
Model checking and verification of a rail-side protection system	2
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)	2
API comparison based on the non-functional information mined from Stack Overflow	2
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies	2
Enhancing test reuse with GUI events deduplication and adaptive semantic matching	2
Advances of proof scores in CafeOBJ	2
Preface for “Selected papers from the 26th Ibero-American Conference on Software Engineering (CIbSE 2023)”	2
Safe and infinite resource scheduling using energy timed automata	2
DevReplay: Linter that generates regular expressions for repeating code changes	2
Subsumption, correctness and relative correctness: Implications for software testing	2
Qualification of proof assistants, checkers, and generators: Where are we and what next?	2
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants	2
Analyzing multiloop programs with Golem	1
PN2CCS: A tool to encode Petri nets into calculus of communicating systems	1
WebDraw: A machine learning-driven tool for automatic website prototyping	1
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022	1
Editorial Board	1
The ABS simulator toolchain	1
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering	1
Introduction to the TASE 2022 Special issue	1
AllSynth: A BDD-based approach for network update synthesis	1
Semi-automated generation of web app performance tests from end-to-end GUI-level tests with E2E-Loader	1
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs	1
Structured development of implementations for divide-and-conquer specifications	1
OCLVerifer: Automated verification of OCL contracts in requirements models	1
Taming shared mutable states of operating systems in Rust	1
TABASCO: A transformer based contextualization toolkit	1
Code clone classification based on multi-dimension feature entropy	1
TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences	1
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems	1
: Asynchronous global types in co-logic programming	1
Adaptive urgency-based real-time task scheduling in ADAS systems	1
Examining the performance of kernel methods for software defect prediction based on support vector machine	1
TADA: A Toolkit for Approximate Distributed Agreement	1
BURST: Benchmarking uniform random sampling techniques	1
Editorial Board	1
Editorial Board	1
DFAMiner: An efficient tool for learning minimal separating DFAs from labelled samples	1
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems	1
Investigating quality aspects for UX evaluation of IoT-based applications in smart cities: A literature review	1
Editorial Board	1
The polychronous model of computation and Kahn process networks	1
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)	1
Editorial Board	1
Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning	1
Modeling, manipulating and evolving hybrid polystores with HyDRa	1
Enhancing software quality attributes through multi-dimensional refactoring at source-level	1
Verifying chip designs at RTL level	1
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing	1
TDFix: A lightweight tool for fixing deadlocks based on templates	1
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes	1
Teaching language processing with the PAMOJA framework	1
DEScMaker: A tool for automated code generation for discrete event systems controllers	1
Editorial Board	1
Modelling and verifying BDI agents under uncertainty	1
Type soundness of functional languages with subtyping in Lang-n-Prove	1
Computing maximum fixed point solutions over feasible paths in data flow analyses	1
Preface: Tools featured at the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025	1
Towards developing an actor-based immune system for smart homes	1
Automated code transformation for distributed training of TensorFlow deep learning models	1
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks	1